用于模糊测试的稀有种子生成
软件工程
2022-12-20 v1 密码学与安全
摘要
从随机初始种子开始，模糊测试器搜索能触发错误或漏洞的输入。然而，模糊测试器通常无法为受严格分支条件保护的程序路径生成输入。在本文中，我们展示了通过首先识别程序中的稀有路径（即路径约束不太可能被随机输入生成所满足的程序路径），然后生成触发这些稀有路径的输入/种子，可以提高模糊测试工具的覆盖率。具体来说，我们提出了以下技术：1）使用定量符号分析识别稀有路径，以及2）使用路径引导的混合执行生成能够探索这些稀有路径的输入。我们将这些输入作为初始种子集提供给三种最先进的模糊测试器。我们在一组程序（包含大量严格分支条件）上的实验评估表明，与随机初始种子相比，使用基于稀有路径的种子集，模糊测试器实现了更好的覆盖率。
引用
@article{arxiv.2212.09004,
title = {Rare-Seed Generation for Fuzzing},
author = {Seemanta Saha and Laboni Sarker and Md Shafiuzzaman and Chaofan Shou and Albert Li and Ganesh Sankaran and Tevfik Bultan},
journal= {arXiv preprint arXiv:2212.09004},
year = {2022}
}