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.

Simone a21e7b4cd1 Fix yul function calls		2 years ago
..
compilation	simplify using reviewer suggestions	2 years ago
config	fix script paths	2 years ago
detectors	Merge pull request #1890 from crytic/fp/strict-equality	2 years ago
printers/possible_paths	register moved folders	2 years ago
solc_parsing	Fix yul function calls	2 years ago
__init__.py	more init files	2 years ago