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 f970f8c647 Add deterministic results for reentrancy		6 years ago
..
analyses	Add support of Type for SSA (abi.decode() takes a type as argument)	6 years ago
core	Rename variablesorder -> variableorder	6 years ago
detectors	Add deterministic results for reentrancy	6 years ago
printers	Add missing file	6 years ago
slithir	Add support of Type for SSA (abi.decode() takes a type as argument)	6 years ago
solc_parsing	Merge pull request #161 from trailofbits/dev-legacy-usertypename-parsing	6 years ago
utils	Minor	6 years ago
visitors	Improve SSA code readability + add support for tuple ssa conversion	6 years ago
__init__.py	Make a slither package	6 years ago
__main__.py	Minor	6 years ago
slither.py	Rename interactive-mode to triage-mode	6 years ago