crytic/ethersplay

Create a directory of test files for verifying CFG accuracy

Open

#31 opened on May 5, 2018

View on GitHub
 (0 comments) (0 reactions) (0 assignees)Python (793 stars) (118 forks)batch import
good first issuehelp wanted

Description

We should create a corpus of tests to verify that CFG recovery is accurate and complete, and there are no regressions.

Contributor guide

Tech stack
python
Domain
testing
Issue type
test
DifficultyEstimated implementation difficulty for a new contributor, from 1 for very small changes to 5 for expert-level work.
3
Estimated timeA rough time range for an experienced contributor to investigate, implement, test, and prepare a pull request.
1-2 days
Activity statusHow available the issue appears right now: fresh, active, stale, blocked, or waiting on maintainer input.
stale
ClarityHow clearly the issue explains the expected change, acceptance criteria, and next step.
needs investigation
Prerequisites
basic Pythonunderstanding of CFGEVM knowledge
Newbie friendlinessA 1-100 score estimating how approachable this issue is for first-time contributors.
35
Research direction
First, explore the repository's existing test infrastructure and any current CFG recovery code. Look for any documentation on how tests are structured. Then, design a set of test cases that cover different EVM bytecode patterns to verify CFG recovery accuracy. Consider edge cases like jumps, loops, and conditional branches. The issue lacks specific acceptance criteria, so start by proposing a test plan in the issue comments.