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.

bart1e a87c3bc2a2 High cyclomatic complexity detector added		2 years ago
..
analyses	Merge branch 'dev' into dev-source-mapping-refactor	3 years ago
core	Merge pull request #1576 from crytic/dev-improve-type-alias	2 years ago
detectors	High cyclomatic complexity detector added	2 years ago
formatters	fix constructor var not detected as candidate, separate detectors	2 years ago
printers	Merge branch 'dev' into dev-add-no-fail	2 years ago
slithir	Merge pull request #1575 from crytic/dev-private-variable	2 years ago
solc_parsing	Merge pull request #1579 from crytic/top-level-type-aliases	2 years ago
tools	Merge pull request #1455 from crytic/detect/add-immutable-opti	2 years ago
utils	Strongly connected components algorithm fix + cyclomatic complexity algorithm fix	2 years ago
visitors	Merge pull request #1574 from crytic/contract-error-selector	2 years ago
__init__.py	Run black	4 years ago
__main__.py	Merge branch 'dev' into dev-add-no-fail	2 years ago
all_exceptions.py	Fix all pylint issues	4 years ago
exceptions.py	Run black	4 years ago
slither.py	Add --no-fail mode	2 years ago