https://github.com/ConsenSys/evm-analyzer-benchmark-suite

A benchmark suite for evaluating the precision of EVM code analysis tools.
https://github.com/ConsenSys/evm-analyzer-benchmark-suite

Last synced: about 1 month ago
JSON representation

A benchmark suite for evaluating the precision of EVM code analysis tools.

• Host: GitHub
• URL: https://github.com/ConsenSys/evm-analyzer-benchmark-suite
• Owner: Consensys
• License: mit
• Archived: true
• Created: 2018-05-24T12:48:56.000Z (over 6 years ago)
• Default Branch: master
• Last Pushed: 2018-08-31T03:37:29.000Z (about 6 years ago)
• Last Synced: 2024-04-04T13:01:14.201Z (6 months ago)
• Language: HTML
• Homepage: https://diligence.consensys.net/evm-analyzer-benchmark-suite
• Size: 75.2 KB
• Stars: 40
• Watchers: 33
• Forks: 14
• Open Issues: 3
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

• awesome-ethereum-security - 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