trailofbits/manticore

Add the Sereum paper examples to test manticore reentrancy detector

Aperta

#1490 aperta il 20 lug 2019

Vedi su GitHubGuida contributor
 (0 commenti) (0 reazioni) (0 assegnatari)Python (481 fork)batch import
Hacktoberfestchallengeeasygood first issuehelp wantedtesting

Metriche repository

Star
 (3469 stelle)
Metriche merge PR
 (Nessuna PR mergiata in 30 g)

Descrizione

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.

Guida contributor

Direzione di ricerca
Individua la suite di test esistente per il rilevatore di rientranze in Manticore e aggiungi gli esempi del paper Sereum come casi di test.
Tech stack
python
Dominio
blockchain
Tipo issue
Test
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
1
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
Meno di 1 ora
Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.
Nuova
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Chiara
Prerequisiti
PythonGit
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
75