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.

Qiuhao Li e4657f5f6c tool: add detector for multiple new reinitializers (#2536) ... * tool: support reinitializer in slither-check-upgradeability * MissingCalls: don't account reinitializers * tool: add detector for multiple new reinitializers * fix: comments and pylint		2 months ago
..
check_erc	feat: add `--unstructured` to slither-read-storage; retrieve custom storage layouts (#1963)	1 year ago
check_kspec	feat: add `--unstructured` to slither-read-storage; retrieve custom storage layouts (#1963)	1 year ago
check_upgradeability	tool: add detector for multiple new reinitializers (#2536)	2 months ago
flat	register moved folders	2 years ago
interface	resolve pragma version causing tests to fail	1 year ago
mutator	Fix test in CI.	5 months ago
read-storage	pylint: fix further lint errors	8 months ago
simil	register moved folders	2 years ago
__init__.py	enable tool coverage	2 years ago