trailofbits/manticore

Add the pathgrind examples to test manticore

Open

#884 ouverte le 30 avr. 2018

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

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 more than 20 different small C programs to test the input generation in the pathgrind tool (but sadly this project is abandoned!). One particularly interesting example is the re-implementation of the ms08_067 XP/Vista vulnerability. Our tool should be able to discover such vulnerability exploring all the paths.

Guide contributeur

Direction de recherche
Clonez le dépôt pathgrind, copiez les cas de test du répertoire testcase dans la suite de tests de manticore et exécutez manticore sur chacun pour vérifier qu'il explore tous les chemins.
Stack technique
pythonc
Domaine
testingsecurity
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.
2
Temps estiméFourchette de temps approximative pour investiguer, implémenter, tester et préparer une pull request.
1-3 heures
Statut d'activitéDisponibilité apparente de l'issue : fraîche, active, ancienne, bloquée ou en attente d'un mainteneur.
Active
ClartéClarté avec laquelle l'issue explique le changement attendu, les critères d'acceptation et la prochaine étape.
Claire
Prérequis
PythonCGit
Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.
60