A benchmark suite for evaluating the precision of EVM code analysis tools. - View it on GitHub
Star
40
Rank
495446