A 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.
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool