Add the pathgrind examples to test manticore · trailofbits/manticore#884

(0 comments) (0 reactions) (0 assignees)Python (3,469 stars) (481 forks)batch import

easygood first issuehelp wantedideatesting

説明

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.

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

技術スタック: pythonc
領域: testingsecurity
Issue 種別: test
難度: 3
推定時間: 1-3 hours
活動状況: stale
明確さ: clear
前提条件: Basic C programmingUnderstanding of symbolic execution
初心者向け度: 60
調査方針: Look at the pathgrind test cases at https://github.com/codelion/pathgrind/tree/master/testcase, especially ms08 067.c. Understand how manticore currently handles input generation and symbolic execution. Then add these C programs as test cases to the manticore test suite, ensuring that manticore can explore all paths and discover the vulnerability.