GitHub repository: ConsenSys/evm-analyzer-benchmark-suite
Primary language: HTML
Description: A benchmark suite for evaluating the precision of EVM code analysis tools.