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