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.

David Pokora 945cbc64d7 Updated solc-version detector test contract and fixed an issue where a [x,x) or (x,x] bound would allow x.		6 years ago
..
analyses	Minor bug	6 years ago
core	SSA: dont propage read_write info for nodes on PhiCallback instruction	6 years ago
detectors	Updated solc-version detector test contract and fixed an issue where a [x,x) or (x,x] bound would allow x.	6 years ago
printers	Merge branch 'dev' into dev-ssa	6 years ago
slithir	Track alias analysis on Binary operation	6 years ago
solc_parsing	Improve Data dependency (based on SSA)	6 years ago
utils	Update markdown output	6 years ago
visitors	Merge branch 'dev' into dev-ssa	6 years ago
__init__.py	Make a slither package	6 years ago
__main__.py	Update markdown output	6 years ago
slither.py	Improve truffle parsing	6 years ago