trailofbits/manticore

Add the Sereum paper examples to test manticore reentrancy detector

Open

#1,490 opened on Jul 20, 2019

View on GitHub
 (0 comments) (0 reactions) (0 assignees)Python (481 forks)batch import
Hacktoberfestchallengeeasygood first issuehelp wantedtesting

Repository metrics

Stars
 (3,469 stars)
PR merge metrics
 (No merged PRs in 30d)

Description

There are few small smart contracts to test the reentrancy detection in the Sereum paper. Manticore could integrate them in the testing to make sure these difficult examples are correctly flagged.

Contributor guide

Research direction
Locate the existing test suite for the reentrancy detector in Manticore and add the Sereum paper examples as test cases.
Tech stack
python
Domain
blockchain
Issue type
Test
DifficultyEstimated implementation difficulty for a new contributor, from 1 for very small changes to 5 for expert-level work.
1
Estimated timeA rough time range for an experienced contributor to investigate, implement, test, and prepare a pull request.
Under 1 hour
Activity statusHow available the issue appears right now: fresh, active, stale, blocked, or waiting on maintainer input.
Fresh
ClarityHow clearly the issue explains the expected change, acceptance criteria, and next step.
Clear
Prerequisites
PythonGit
Newbie friendlinessA 1-100 score estimating how approachable this issue is for first-time contributors.
75