trailofbits/manticore

Add the Sereum paper examples to test manticore reentrancy detector

Open

#1 490 ouverte le 20 juil. 2019

Voir sur GitHub
 (0 commentaires) (0 réactions) (0 assignés)Python (481 forks)batch import
Hacktoberfestchallengeeasygood first issuehelp wantedtesting

Métriques du dépôt

Stars
 (3 469 stars)
Métriques de merge PR
 (Aucune PR mergée en 30 j)

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.

Guide contributeur

Direction de recherche
Localisez la suite de tests existante pour le detecteur de reentrance dans Manticore et ajoutez les exemples de l'article Sereum comme cas de test.
Stack technique
python
Domaine
blockchain
Type d'issue
Test
DifficultéDifficulté estimée pour un nouveau contributeur, de 1 pour un très petit changement à 5 pour un travail expert.
1
Temps estiméFourchette de temps approximative pour investiguer, implémenter, tester et préparer une pull request.
Moins d'une heure
Statut d'activitéDisponibilité apparente de l'issue : fraîche, active, ancienne, bloquée ou en attente d'un mainteneur.
Récente
ClartéClarté avec laquelle l'issue explique le changement attendu, les critères d'acceptation et la prochaine étape.
Claire
Prérequis
PythonGit
Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.
75