模糊测试中的变异策略在约束求解上的应用探究

模糊测试是一种先进的自动化测试技术,可用于检测程序潜在漏洞。大多数模糊测试技术在处理复杂约束时效果较差。为提高约束求解能力,提出了TurboFuzz技术,使用路径敏感分析建模变量约束关系,并采用模拟退火算法避免陷入局部最优。评估结果显示,TurboFuzz的边覆盖数量超过基于符号执行技术的工具,并求解出其他技术无法处理的约束。在真实程序测试中,TurboFuzz发现了13个新漏洞。研究通过比较不同技术、提出了TurboFuzz优化方案,提升基于变异的模糊测试的效率,使其成为有效的自动化测试技术。TurboFuzz为处理复杂约束开启了新思路,并为符号执行和模糊测试建立了联系。