Static Analyzer for Solidity

ethereumsoliditystatic-analysis

You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Josselin 95e94beb32 Import contract summary printer		6 years ago
..
analyses	Improve specific taint	6 years ago
core	Import contract summary printer	6 years ago
detectors	Merge branch 'master' into dev	6 years ago
printers	Import contract summary printer	6 years ago
slithir	SlithIR: Improve Length op support	6 years ago
solc_parsing	More strict rules on variable type	6 years ago
utils	Merge branch 'master' into dev	6 years ago
visitors	Add node ref to Temporary/Reference	6 years ago
__init__.py	Make a slither package	6 years ago
__main__.py	Disable ComplexFunction detector until benchmark is performed	6 years ago
slither.py	added to readme	6 years ago