计算机应用

作者：蔡锦辉, 尹中旭, 宗国笑, 李俊儒

单位：信息工程大学 网络空间安全学院，郑州 450001

关键词：模糊测试,污点推断,污点分析,程序插桩,漏洞挖掘

基金：河南省重点研发专项(221111210300)

针对当前基于污点推断的模糊测试主要集中于目标代码块内单一代码分支的分析，而未充分考虑上下文分支间的关联关系，导致面对嵌套分支时对代码分支相关字节位置推断不够精确的问题，提出一种面向嵌套分支突破的推断与污点分析融合的方法。首先，利用阶段覆盖信息评估需要突破的障碍点，并根据测试用例执行时障碍点的覆盖信息评估障碍点的优先级，从而聚焦更有潜力的测试用例；其次，优化污点推断算法，即结合控制流信息更精确地推断嵌套分支相关输入字节的位置，并重用前序分支推断信息以提升推断速度；最后，对推断出的障碍点相关位置进行轻量级的污点分析以指导变异过程，从而避免随机变异导致的嵌套分支不可达问题。在6个流行的应用中评估原型工具DTFuzz。实验结果表明，DTFuzz的节点覆盖率比现有模糊测试工具REDQUEEN平均提高了9.85%，并且DTFuzz发现了5个未知漏洞；同时，DTFuzz不同模块的节点覆盖率相较于基准工具均有所提高，最高提高了29.23%。可见，所提方法能有效突破复杂嵌套分支并实现测试覆盖率的提升，提升漏洞挖掘的效率。

来源：2024年第12期

《计算机应用》期刊编辑部

查看计算机应用杂志2024年第12期