1.其中KTest.cpp和KTest.h是klee自带的,分别位于/home/klee/lib/Basic和/home/klee/include/klee/Internal/ADT中
2.make编译
3.运行,需输入klee测试用例目录和afl的seed的生成目录
例: ./main /home/klee/klee_src/examples/get_sign/klee-last/ /usr/downloads/klee-to-afl/output
-
Notifications
You must be signed in to change notification settings - Fork 1
NingmengLLL/to-afl_seed
Folders and files
Name | Name | Last commit message | Last commit date | |
---|---|---|---|---|
Repository files navigation
About
No description, website, or topics provided.
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published