This repo keeps benchmarks for evaluating the precision of EVM code analysis tools. If you have a benchmark that you would like to contribute, please submit it as a pull request. Please open an issue if you have any suggestions or feedback, or contact diligence-core@consensys.net.
The link below shows the results of running some tools on these benchmarks:
https://diligence.consensys.net/evm-analyzer-benchmark-suite