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.

Bernard Wagner 21f31215a7 Added support for SARIF as output format		3 years ago
..
analyses	Add the support for multiple compilation units. This commit includes a	4 years ago
core	fix assignment to type in	3 years ago
detectors	Merge branch 'dev' of github.com:crytic/slither into dev	4 years ago
formatters	Add the support for multiple compilation units. This commit includes a	4 years ago
printers	Fix variable order printer	4 years ago
slithir	Multiple small fixes	4 years ago
solc_parsing	Merge branch 'dev' of github.com:crytic/slither into dev	4 years ago
tools	Merge with dev	4 years ago
utils	Added support for SARIF as output format	3 years ago
visitors	Improve constant folding (Fix #820)	4 years ago
__init__.py	Run black	4 years ago
__main__.py	Added support for SARIF as output format	3 years ago
all_exceptions.py	Fix all pylint issues	4 years ago
exceptions.py	Run black	4 years ago
slither.py	Add the support for multiple compilation units. This commit includes a	4 years ago