weixin_48477209的博客

翻译 ISSTA 2023 Rare Path Guided Fuzzing 论文阅读

从随机的初始种子开始，模糊器搜索触发bug或漏洞的输入。然而，模糊器经常无法生成由限制性分支条件保护的程序路径的输入。在本文中，我们表明，通过首先识别程序中的稀有路径（具有不太可能被随机输入生成满足的路径约束的程序路径），然后生成触发稀有路径的输入/种子，可以提高模糊工具的覆盖率。特别是，我们提出的技术1）识别稀有的路径使用符号分析，和2）生成输入，可以探索这些稀有的路径，使用路径引导的concolic执行。我们提供这些输入作为初始种子集，在三个最先进的模糊器进行实验。我们的实验评估的一组程序表明，稀有路径