trailofbits/manticore

Add the logic bomb examples to test manticore

Ouverte

#1 487 ouverte le 15 juil. 2019

Voir sur GitHubGuide contributeur
 (2 commentaires) (0 réaction) (0 personne assignée)Python (481 forks)batch import
Hacktoberfestchallengegood first issuehelp wantedresearchtesting

Métriques du dépôt

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

Description

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.

Guide contributeur

Direction de recherche
Clonez le depot des bombes logiques et ajoutez les programmes C comme cas de test dans la suite de tests de Manticore, en vous assurant qu'ils sont compiles et executes par le moteur d'execution symbolique natif de Manticore.
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.
3
Temps estiméFourchette de temps approximative pour investiguer, implémenter, tester et préparer une pull request.
1-2 jours
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.
65