slither

Author	SHA1	Message	Date
ggrieco-tob	d3f9816999	more fixes	6 years ago
ggrieco-tob	7f39c77219	improved module loading	6 years ago
ggrieco-tob	06d70856bd	fix	6 years ago
g	2b4edbda8c	fixes	6 years ago
ggrieco-tob	1eb8478595	verification of sklearn (optional) dependency	6 years ago
ggrieco-tob	7affd05610	handling fastText dependency	6 years ago
ggrieco-tob	43fa9c73df	first version of slither-simil	6 years ago
Josselin	dda057728d	Add taint as slither module Add is_unprotected to core.function	6 years ago
Josselin	a15af96993	Add SlithIR representation (WIP) Add taint example API changes: - Better handling of tuple - Add context to slither - Change node str representation - Add ChildNode - Add block.blockhash in SolidityVariable - Add __eq__ , __hash__ in SolidityVariable - Add full_name in solidityVariableComposed - Update of the expression in a VARIABLE Node to have the assignement - Remove ENDIF not never reached	6 years ago
Josselin	d6b51cef66	Initial public commit	6 years ago