trailofbits/manticore

Add the logic bomb examples to test manticore

Open

#1.487 geöffnet am 15. Juli 2019

Auf GitHub ansehen
 (2 Kommentare) (0 Reaktionen) (0 zugewiesene Personen)Python (481 Forks)batch import
Hacktoberfestchallengegood first issuehelp wantedresearchtesting

Repository-Metriken

Stars
 (3.469 Stars)
PR-Merge-Metriken
 (Keine gemergten PRs in 30 T)

Beschreibung

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.

Contributor Guide

Research-Richtung
Klonen Sie das Repository der Logikbomben und fügen Sie die C Programme als Testfälle zur Testsuite von Manticore hinzu. Stellen Sie sicher, dass sie kompiliert und von der nativen symbolischen Ausführungsengine von Manticore ausgeführt werden.
Tech Stack
pythonc
Domain
testingsecurity
Issue Type
Test
SchwierigkeitGeschätzte Implementierungsschwierigkeit für neue Contributors, von 1 für sehr kleine Änderungen bis 5 für Expertenarbeit.
3
Geschätzte ZeitEin grober Zeitrahmen, um zu recherchieren, zu implementieren, zu testen und einen Pull Request vorzubereiten.
1-2 Tage
AktivitätsstatusWie verfügbar das Issue gerade wirkt: frisch, aktiv, stale, blockiert oder wartet auf Maintainer-Input.
Aktiv
KlarheitWie klar das Issue die erwartete Änderung, Akzeptanzkriterien und den nächsten Schritt erklärt.
Klar
Voraussetzungen
PythonCGit
EinsteigerfreundlichkeitEin Score von 1 bis 100, der schätzt, wie zugänglich dieses Issue für First-Time Contributors ist.
65