trailofbits/manticore

Add the pathgrind examples to test manticore

Open

#884 opened on 2018年4月30日

GitHub で見る
 (0 comments) (0 reactions) (0 assignees)Python (481 forks)batch import
easygood first issuehelp wantedideatesting

Repository metrics

Stars
 (3,469 stars)
PR merge metrics
 (30d に merged PR はありません)

説明

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.

コントリビューターガイド