计算机研究与发展

作者：唐成华,蔡维嘉,杨萌萌,强保华,

关键词：程序缺陷, 执行上下文, 保护机制, 模糊测试, 漏洞检测,

大量的应用实践证明了模糊测试用于检测程序脆弱性的有效性.现有的模糊测试方法缺少针对具体测试任务表现的差异性进行分析并适当地调整测试策略，更多的是采取统一流程导致测试结果差强人意.有必要根据测试过程中的具体信息对策略进行修正以达到更好的测试表现，提出了一种新的基于执行上下文导向的程序缺陷模糊测试方法，并能突破保护机制，通过捕获并分析受检程序对输入测试用例实际处理过程中的具体上下文信息，快速探索程序结构特征，对样本突变策略进行优化.同时，在相关算法的基础上实现了基于执行上下文导向的程序缺陷模糊检测原型工具CBFuzzer.实验结果表明，CBFuzzer能有效地实现对程序内部结构的快速探索（包括对保护机制的突破）、非常规程序状态转换的模拟以及更高效的脆弱点暴露.与对照方法相比，CBFuzzer在脆弱点暴露能力方面有6.8%~36.76%不同程度的提升，实际脆弱点的检出数量提升率最高达到66.67%.在可接受范围内的少量额外测试资源的投入下，CBFuzzer不仅在常规漏洞类型的检出效果上得到提高，并且对于隐匿性强的漏洞类型有更高的检测能力.截至2023年8月10日，通过CBFuzzer在13个测试任务中共发现了126个新的漏洞（已报告给软件开发者，并提交给CVE?组织）.

来源：2025年第3期

《计算机研究与发展》期刊编辑部

查看计算机研究与发展杂志2025年第3期