TOFU：面向目标的模糊测试器
软件工程
2020-05-05 v2
摘要
程序模糊测试——向计算机程序提供随机构造的输入——已被证明是发现缺陷、寻找安全漏洞以及生成提高代码覆盖率的测试输入的有力方法。然而，在许多应用中，人们感兴趣的是一种面向目标的方法——希望找到使程序到达程序中特定目标点的输入。我们创建了TOFU（Target-Oriented FUzzer，面向目标的模糊测试器）来解决定向模糊测试问题。TOFU的搜索根据距离度量进行偏置，该度量依据输入执行轨迹接近目标位置的程度为每个输入打分。TOFU还具备输入结构感知能力（即搜索利用程序允许输入的超集规范）。我们在xmllint上的实验表明，TOFU比AFLGo快28%，同时多到达45%的目标。此外，距离引导搜索与输入结构知识的利用均对TOFU的性能有显著贡献。
引用
@article{arxiv.2004.14375,
title = {TOFU: Target-Oriented FUzzer},
author = {Zi Wang and Ben Liblit and Thomas Reps},
journal= {arXiv preprint arXiv:2004.14375},
year = {2020}
}