slither

Author	SHA1	Message	Date
Josselin	f3d5f0d0e8	Rename slither-check-upgradability -> slither-check-upgradeability Improve slither-check-upgradeability output	6 years ago
Josselin	bffa59f6c5	Rename slither-check-upgradability -> slither-check-upgradeability Improve slither-check-upgradeability output	6 years ago
Josselin	e6e23173c7	Add missing __init__.py file	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