基于污点分析和符号执行的漏洞签名生成方法

• 作者: 时志伟 董国伟 辛伟 郝永乐
• 来源期刊: 清华大学学报（自然科学版）
• 学科: 工学
• 关键词: 二进制程序 漏洞签名 污点分析 符号执行 约束求解
• 年，卷（期）: 2016,（1）
• 所属期刊栏目: 信息安全
• 页码范围: 28-34
• 页数: 7页
• 分类号: TP309
• 语种: 中文
• DOI: 10.16511/j.cnki.qhdxxb.2016.23.006

摘要

漏洞签名是指触发程序漏洞的输入的集合,利用漏洞签名对程序输入进行过滤是一种有效的保护漏洞程序的方法.该文主要研究漏洞签名的生成技术,提出了一种有效的基于污点分析和符号执行的漏洞签名生成方法,它通过污点信息传播定位输入中的与触发漏洞相关的字节,然后,通过符号执行得到路径约束,并通过约束求解得到最终的漏洞签名.基于开源项目Pin和Z3,该文构建了基于污点分析和符号执行的漏洞签名生成原型系统TASEVS,并对漏洞程序进行了验证.实验结果表明,TASEVS能有效地生成漏洞签名.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	董国伟		7	30	1.0	5.0
2	郝永乐		9	47	3.0	6.0
3	辛伟		6	1	1.0	1.0
4	时志伟		5	22	2.0	4.0