trailofbits/manticore

Add the Sereum paper examples to test manticore reentrancy detector

Open

#1.490 geöffnet am 20. Juli 2019

Auf GitHub ansehen
 (0 Kommentare) (0 Reaktionen) (0 zugewiesene Personen)Python (481 Forks)batch import
Hacktoberfestchallengeeasygood first issuehelp wantedtesting

Repository-Metriken

Stars
 (3.469 Stars)
PR-Merge-Metriken
 (Keine gemergten PRs in 30 T)

Beschreibung

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-Richtung
Finden Sie die vorhandene Testsuite für den Reentrancy Detector in Manticore und fügen Sie die Beispiele aus dem Sereum Papier als Testfälle hinzu.
Tech Stack
python
Domain
blockchain
Issue Type
Test
SchwierigkeitGeschätzte Implementierungsschwierigkeit für neue Contributors, von 1 für sehr kleine Änderungen bis 5 für Expertenarbeit.
1
Geschätzte ZeitEin grober Zeitrahmen, um zu recherchieren, zu implementieren, zu testen und einen Pull Request vorzubereiten.
Unter 1 Stunde
AktivitätsstatusWie verfügbar das Issue gerade wirkt: frisch, aktiv, stale, blockiert oder wartet auf Maintainer-Input.
Frisch
KlarheitWie klar das Issue die erwartete Änderung, Akzeptanzkriterien und den nächsten Schritt erklärt.
Klar
Voraussetzungen
PythonGit
EinsteigerfreundlichkeitEin Score von 1 bis 100, der schätzt, wie zugänglich dieses Issue für First-Time Contributors ist.
75