frallan97 / reachable_self_destruct_benchmark Goto Github PK
View Code? Open in Web Editor NEWA benchmark for Solidity security tools that aims to detect rechable. Can also be retrofited for any other access control problem, where a critical section should not be reached.