基于动静态程序分析的整形漏洞检测工具

• 作者: 殷新春 沈晓斌 茅兵 谢立 陈平 韩浩
• 来源期刊: 电子学报
• 学科: 工学
• 关键词: 计算机安全 软件安全 软件漏洞 整形漏洞
• 年，卷（期）: 2010,（8）
• 页码范围: 1741-1747
• 分类号: TP309
• 字数: 7042字
• 语种: 中文

摘要

近几年,针对整形漏洞的攻击数目急剧上升.整形漏洞由于隐蔽性高,成为危害巨大的软件漏洞之一.本文提出了一种自动检测整形漏洞的防御工具,它结合了静态和动态程序分析技术.在静态分析阶段,该工具反编译二进制程序,并创建可疑的指令集.在动态分析阶段,该工具动态地扫描可疑集中的指令,结合可触发漏洞的输入,判断指令是否是整形漏洞.我们的工具有两个优点:首先,它提供了精确并且充足的类型信息.其次,通过基于反编译器的静态分析,工具减少了动态运行时需要检测的指令数目.实验结果表明,我们的工具可以有效地检测到实际程序中的整形漏洞,并且在我们检测的软件中,没有发现漏报,误报率也很低.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	茅兵	南京大学软件新技术国家重点实验室南京大学计算机科学与技术系	59	933	15.0	29.0
2	殷新春	扬州大学信息工程学院	121	716	12.0	20.0
3	陈平	南京大学软件新技术国家重点实验室南京大学计算机科学与技术系	30	185	8.0	12.0
4	韩浩	南京大学软件新技术国家重点实验室南京大学计算机科学与技术系	11	85	6.0	9.0
5	沈晓斌	扬州大学信息工程学院	2	18	2.0	2.0