SymFuzz:一种复杂路径条件下的漏洞检测技术

• 作者: 李明磊 黄晖 陆余良 朱凯龙
• 来源期刊: 计算机科学
• 关键词: 模糊测试 符号执行 静态分析 污点分析 漏洞检测
• 年，卷（期）: 2021,（5）
• 所属期刊栏目: 计算机软件|Computer Software
• 页码范围: 25-31
• 页数: 7页
• 分类号: TP309
• 语种: 中文
• DOI: 10.11896/jsjkx.200600128

摘要

当前漏洞检测技术可以实现对小规模程序的快速检测,但对大型或路径条件复杂的程序进行检测时其效率低下.为实现复杂路径条件下的漏洞快速检测,文中提出了一种复杂路径条件下的漏洞检测技术SymFuzz.SymFuzz将导向式模糊测试技术与选择符号执行技术相结合,通过导向式模糊测试技术对程序路径进行过滤,利用选择符号执行技术对可能触发漏洞的路径进行求解.该技术首先通过静态分析获取程序漏洞信息;然后使用导向式模糊测试技术,快速生成可以覆盖漏洞函数的测试用例;最后对漏洞函数内可以触发漏洞的路径进行符号执行,生成触发程序漏洞的测试用例.文中基于AFL与S2 E等开源项目实现了SymFuzz的原型系统.实验结果表明,SymFuzz与现有的模糊测试技术相比,在复杂路径条件下的漏洞检测效果提高显著.