Benchmark Suite - Githubissues

trailofbits / manticore

Symbolic execution tool

https://blog.trailofbits.com/2017/04/27/manticore-symbolic-execution-for-humans/

GNU Affero General Public License v3.0

3.7k stars 471 forks source link

Benchmark Suite #1732

Open MatthewARinehart opened 4 years ago

MatthewARinehart commented 4 years ago

Why

As a Manticore engineer, I need to understand the nominal level at which Manticore operates so that I know if what I'm developing impacts performance of the product.

Acceptance Criteria

We have benchmarks for three codebases
- Contrived EVM codebase
- Established EVM codebase
- Native codebase

bradlarsen commented 4 years ago

Related discussion: #1670