trailofbits/manticore

Add the pathgrind examples to test manticore

Aperta

#884 aperta il 30 apr 2018

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

Metriche repository

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

Descrizione

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.

Guida contributor

Direzione di ricerca
Clona il repository pathgrind, copia i test case dalla directory testcase nella suite di test di manticore ed esegui manticore su ciascuno per verificare che esplori tutti i percorsi.
Tech stack
pythonc
Dominio
testingsecurity
Tipo issue
Test
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
2
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
1-3 ore
Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.
Attiva
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Chiara
Prerequisiti
PythonCGit
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
60