KLEE
Jeremy_ku
这个作者很懒,什么都没留下…
展开
-
Install KLEE
Install KLEE原创 2017-05-31 17:08:54 · 1173 阅读 · 0 评论 -
Install llvm and clang
Install llvm and clangDownload llvm and clang source code. [http://releases.llvm.org/download.html#3.4.2] $wget http://releases.llvm.org/3.4.2/cfe-3.4.2.src.tar.gz $wget http://releases.llvm.org/3.4原创 2017-05-27 19:24:18 · 795 阅读 · 0 评论 -
KLEE error reports
When KLEE detects an error in the program being executed it will generate a test case which exhibits the error, and write some additional information about the error into a file testN.TYPE.err, where N原创 2017-06-01 23:05:31 · 412 阅读 · 0 评论 -
common strengths and weaknesses of symbolic execution
Strengths:when a test case fails, the program is proven to be incorrect;automatic test cases catch errors that are often overlooked in manual written test cases (this is from KLEE paper);it can be u原创 2017-06-03 21:33:12 · 399 阅读 · 0 评论 -
Replay the test case using KLEE
KLEE provides the possibility to replay the test cases with the real program.Replaying a test caseWhile we can run the test cases generated by KLEE on our program by hand, (or with the help of an exis原创 2017-06-03 21:42:12 · 607 阅读 · 0 评论