摘要：题目：SYNFUZZ: Efficient Concolic Execution via Branch Condition Synthesis 作者：Wookhyun Han∗, Md Lutfor Rahman†, Yuxuan Chen‡, Chengyu Song†, Byoungyoung 阅读全文
SYNFUZZ: Efficient Concolic Execution via Branch Condition Synthesis
2020-08-31 20:37 by huhee, 314 阅读, 0 推荐, 收藏, 编辑Hawkeye: Towards a Desired Directed Grey-box Fuzzer
2020-08-31 20:36 by huhee, 550 阅读, 0 推荐, 收藏, 编辑
摘要：题目：Hawkeye: Towards a Desired Directed Grey-box Fuzzer 作者：Hongxu Chen ； Yinxing Xue∗ ； Yuekang Li ； Bihuan Chen 单位：Nanyang Technological University Si 阅读全文
Compositional Fuzzing Aided by Targeted Symbolic Execution
2020-08-31 20:31 by huhee, 259 阅读, 0 推荐, 收藏, 编辑
摘要：题目：Compositional Fuzzing Aided by Targeted Symbolic Execution 作者：Saahil Ognawala, Fabian Kilger, Alexander Pretschner 单位：Faculty of Informatics, Techn 阅读全文
VUzzer: Application-aware Evolutionary Fuzzing
2019-09-02 14:44 by huhee, 643 阅读, 1 推荐, 收藏, 编辑
摘要：题目：VUzzer: Application aware Evolutionary Fuzzing 作者：Sanjay Rawat, Vivek Jain, Ashish Kumar, Lucian Cojocar, Cristiano Giuffrida, Herbert Bos 出版：NDSS 阅读全文
MOPT: Optimize Mutation Scheduling for Fuzzers
2019-09-02 14:40 by huhee, 1274 阅读, 0 推荐, 收藏, 编辑
摘要：题目：MOPT: Optimize Mutation Scheduling for Fuzzers 作者：Chenyang Lv†, Shouling Ji†, Chao Zhang¶, Yuwei Li†, Wei Han Lee§, Yu Song†, and Raheem Beyah‡ 单位： 阅读全文
KLEE——main.cpp
2018-09-04 16:15 by huhee, 799 阅读, 0 推荐, 收藏, 编辑
摘要：转载请注明出处：https://www.cnblogs.com/linkJ/ 阅读全文
KLEE概览
2018-09-04 16:01 by huhee, 2909 阅读, 0 推荐, 收藏, 编辑
摘要：klee是什么 klee是通过对llvm bitcode进行解释以实现符号执行的工具。它通过插入函数调用（klee_make_symbolic）对内存进行符号化。并且会跟踪符号内存的使用，并收集使用这些符号内存的约束。如果有使用前面符号内存的其他内存，那么该内存也将会被符号化。当遇到一个使用符号化内 阅读全文
KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs
2018-05-30 18:45 by huhee, 1032 阅读, 0 推荐, 收藏, 编辑
摘要：题目：KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs作者：Cristian Cadar, Daniel Dunbar, Dawson Engler ∗单位：St 阅读全文