摘要：
题目：SYNFUZZ: Efficient Concolic Execution via Branch Condition Synthesis 作者：Wookhyun Han∗, Md Lutfor Rahman†, Yuxuan Chen‡, Chengyu Song†, Byoungyoung 阅读全文
随笔档案-2020年08月
Hawkeye: Towards a Desired Directed Grey-box Fuzzer
2020-08-31 20:36 by huhee, 614 阅读, 收藏, 编辑
摘要：
题目：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, 264 阅读, 收藏, 编辑
摘要：
题目：Compositional Fuzzing Aided by Targeted Symbolic Execution 作者：Saahil Ognawala, Fabian Kilger, Alexander Pretschner 单位：Faculty of Informatics, Techn 阅读全文
