https://github.com/ConsenSysDiligence/evm-analyzer-benchmark-suite
A benchmark suite for evaluating the precision of EVM code analysis tools.
https://github.com/ConsenSysDiligence/evm-analyzer-benchmark-suite
Last synced: 4 days ago
JSON representation
A benchmark suite for evaluating the precision of EVM code analysis tools.
- Host: GitHub
- URL: https://github.com/ConsenSysDiligence/evm-analyzer-benchmark-suite
- Owner: ConsenSysDiligence
- License: mit
- Archived: true
- Created: 2018-05-24T12:48:56.000Z (almost 7 years ago)
- Default Branch: master
- Last Pushed: 2018-08-31T03:37:29.000Z (over 6 years ago)
- Last Synced: 2025-04-19T19:57:44.034Z (25 days ago)
- Language: HTML
- Homepage: https://diligence.consensys.net/evm-analyzer-benchmark-suite
- Size: 75.2 KB
- Stars: 41
- Watchers: 31
- Forks: 14
- Open Issues: 3
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
- awesome-ethereum-security - EVM Analyzer Benchmark
- awesome-scs - EVM Analyzer Benchmark
- awesome-scs - EVM Analyzer Benchmark
README
# EVM Analyzer Benchmark Suite
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 [email protected].
The link below shows the results of running some tools on these benchmarks:
https://diligence.consensys.net/evm-analyzer-benchmark-suite