FGo：一种采用概率指数止损策略的定向灰盒模糊测试器
软件工程
2023-09-19 v2
摘要
传统的覆盖灰盒模糊测试器对被测程序（PUT）的状态空间执行广度优先搜索。这种无目的性浪费了大量计算资源。定向灰盒模糊测试聚焦于PUT的目标，已成为软件测试中最热门的课题之一。尽早终止不可达测试用例是改进定向灰盒模糊测试的一种方法。然而，现有方案存在两个问题：首先，可达性分析需要引入额外技术（如静态分析）；其次，可达性分析及辅助技术的性能缺乏通用性。我们提出FGo，一种概率指数止损的定向灰盒模糊测试器。FGo以指数增长的概率尽早终止不可达测试用例。与其他技术相比，FGo充分利用了iCFG中包含的不可达信息，且不会产生由可达性分析引起的任何额外开销。此外，它易于推广到所有PUT。这种基于概率的策略完美适应了模糊测试的随机性。实验结果表明，FGo在重现崩溃时比AFLGo快106%。我们比较了概率指数止损算法的多个参数并进行了详细分析。此外，为增强FGo的可解释性，本文讨论了概率指数止损算法的理论性能与实际性能之间的差异。
引用
@article{arxiv.2307.05961,
title = {FGo: A Directed Grey-box Fuzzer with Probabilistic Exponential cut-the-loss Strategies},
author = {Harvey Lau},
journal= {arXiv preprint arXiv:2307.05961},
year = {2023}
}