基于污点分析的白盒模糊测试方案
来源：计算机工程与应用杂志2019年第18期北京时间：
作者：张婉莹，曹晓梅
单位：南京邮电大学 计算机学院、软件学院、网络空间安全学院，南京 210023
摘要：针对白盒模糊测试漏洞触发能力较弱的问题，提出一种基于污点分析的白盒模糊测试（WFBTA）方案，依据不同的漏洞特征，识别危险操作，获得漏洞相关的约束条件，与路径约束条件优化结合后通过约束求解器求解，产生覆盖率较高且漏洞触发能力良好的测试用例。实验结果表明，与原有的白盒模糊测试方法相比，WFBTA方案具有更强的漏洞发现能力、更低的漏报率与误报率，而平均时间开销仅增加了1.31%。
关键词：漏洞检测,模糊测试,符号执行,污点分析
