trailofbits/manticore

Add the Sereum paper examples to test manticore reentrancy detector

Open

#1490 opened on Jul 20, 2019

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

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

Tech stack
python
Domain
testingsecurity
Issue type
feature
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.
half day
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.
clear
Prerequisites
Python programmingBasic knowledge of ManticoreUnderstanding of reentrancy vulnerabilities
Newbie friendlinessA 1-100 score estimating how approachable this issue is for first-time contributors.
55
Research direction
Locate the reentrancy detection test directory in Manticore (e.g., tests/ or examples/). From the Sereum paper repository (linked in the issue), extract the small smart contracts that demonstrate reentrancy attacks. Write test cases that verify Manticore correctly detects reentrancy in these contracts. Follow the existing test structure and ensure the tests pass. Refer to the issue for additional context.