精读：REDQUEEN: Fuzzing with Input-to-State Correspondence
00 - About 作者：Cornelius Aschermann, Sergej Schumilo, Tim Blazytko, Robert Gawlik and Thorsten Holz 01 – Why 近年来，基于模糊的抽象自动化软件测试经历了一次复兴，特别是反馈驱动模糊以其在有限输入语料库下高效地进行随机测试的能力而…
Research Category
理论研究
论文读后笔记、理论学习
精读：CollAFL: Path Sensitive Fuzzing
0x01 Why 目前流行的fuzzing（如AFL）通常使用较为简单的coverage information，这种覆盖的不准确和不完整给fuzzing带来了严重的局限性。首先，它会导致路径冲突，从而影响fuzzing挖掘出导致新崩溃的潜在路径。更重要的是，它也会影响fuzzing的最优决策。此外，学术界的大部分研究的是Cover…
精读：Coverage-based greybox fuzzing as markov chain
[1]: /usr/uploads/2019/05/2886071968.png [2]: /usr/uploads/2019/05/613705961.png [3]: /usr/uploads/2019/05/338445920.png [4]: /usr/uploads/2019/05/3139570768.png [5]:…