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 76c07772b4 Add staticcall to LowLevelCall (close #152)		6 years ago
..
analyses	Minor bug	6 years ago
core	Add size to elementary_type	6 years ago
detectors	Add command line to generate the wiki page	6 years ago
printers	Open files with UTF-8 encoding	6 years ago
slithir	Add staticcall to LowLevelCall (close #152)	6 years ago
solc_parsing	Add size to elementary_type	6 years ago
utils	Add command line to generate the wiki page	6 years ago
visitors	Add support for index on anonymous arrays (close #139)	6 years ago
__init__.py	Make a slither package	6 years ago
__main__.py	Look for Truffle local version in package.json (close #154)	6 years ago
slither.py	Usage changes	6 years ago