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