trailofbits/manticore

Add the logic bomb examples to test manticore

Aperta

#1487 aperta il 15 lug 2019

Vedi su GitHubGuida contributor
 (2 commenti) (0 reazioni) (0 assegnatari)Python (481 fork)batch import
Hacktoberfestchallengegood first issuehelp wantedresearchtesting

Metriche repository

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

Descrizione

There are more than 60 different small C programs to test the input generation in the logic bombs benchmark. Manticore [native] could integrate them in the testing to make sure these difficult examples are correctly handled.

Guida contributor

Direzione di ricerca
Clona il repository dei logic bomb e aggiungi i programmi C come casi di test nella suite di test di Manticore, assicurandoti che vengano compilati ed eseguiti dal motore di esecuzione simbolica nativo di Manticore.
Tech stack
pythonc
Dominio
testingsecurity
Tipo issue
Test
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
3
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
1-2 giorni
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.
65