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: 5 months 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 (over 7 years ago)
• Default Branch: master
• Last Pushed: 2018-08-31T03:37:29.000Z (about 7 years ago)
• Last Synced: 2025-04-19T19:57:44.034Z (6 months 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 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