trailofbits/manticore

Add the pathgrind examples to test manticore

Open

#884 geöffnet am 30. Apr. 2018

Auf GitHub ansehen
 (0 Kommentare) (0 Reaktionen) (0 zugewiesene Personen)Python (481 Forks)batch import
easygood first issuehelp wantedideatesting

Repository-Metriken

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

Beschreibung

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.

Contributor Guide