Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

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 2 months 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 (over 6 years ago)
Last Synced: 2024-04-04T13:01:14.201Z (9 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
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