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 adabce6180 Detect when ether is sent in Yul (#1909) ... * Detect when ether is sent in Yul * address pylint warning instead of supressing * fix guard clause * remove branch to appease pylint * check that call can send eth prior to reading args --------- Co-authored-by: alpharush <0xalpharush@protonmail.com>		1 year ago
..
snapshots	Detect when ether is sent in Yul (#1909)	1 year ago
test_data	Detect when ether is sent in Yul (#1909)	1 year ago
__init__.py	add __init__ files to collect coverage	2 years ago
test_detectors.py	Merge branch 'dev' into detector_for_invalid_using_for	2 years ago