缓冲区溢出漏洞精确检测方法研究

• 作者: 李博洋 李吉 王雷
• 来源期刊: 电子学报
• 学科: 工学
• 关键词: 缓冲区溢出 安全漏洞 模型检测 静态分析
• 年，卷（期）: 2008,（11）
• 所属期刊栏目: 科研通信
• 页码范围: 2200-2204
• 页数: 5页
• 分类号: TP314
• 字数: 4581字
• 语种: 中文
• DOI: 10.3321/j.issn:0372-2112.2008.11.021

摘要

缓冲区溢出漏洞是影响系统安全性的严重问题之一,本文提出了一种利用模型检测技术对代码中潜在的缓冲区溢出漏洞进行精确检测的方法.该方法通过静态分析,先将对缓冲区漏洞的检测转化为对程序某个位置可达性的判定.然后,利用模型检测技术对可达性进行验证.基于GCC和Blast,我们使用这一方法构造了一个精确检测缓冲区溢出漏洞的原型系统.最后,使用该原型系统对wu-ftpd,minicom和CoreHTTP等三个实际应用程序进行了检测,结果不仅检测出了已知的漏洞,而且发现了一些新漏洞.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王雷	北京航空航天大学计算机学院	57	257	9.0	13.0
2	李吉	北京航空航天大学计算机学院	3	13	1.0	3.0
3	李博洋	北京航空航天大学计算机学院	1	13	1.0	1.0