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.

Feist Josselin d35b10be3a Merge pull request #1679 from crytic/abstract-contract ... Abstract contract property		2 years ago
..
operation_reads.sol	include salt in NewContract op, add test infra	2 years ago
ternary_expressions.sol	fix ternary in nested expr with index access	2 years ago
test_operation_reads.py	include salt in NewContract op, add test infra	2 years ago
test_ternary_expressions.py	add import	2 years ago