一种需求驱动的缓冲区溢出检测算法

• 作者: 夏一民 张民选 曹宏嘉 罗军
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: 安全分析 缓冲区溢出 静态检测算法 需求驱动 流敏感
• 年，卷（期）: 2007,（1）
• 所属期刊栏目: 算法研究
• 页码范围: 86-87,100
• 页数: 3页
• 分类号: TP309
• 字数: 2594字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2007.01.027

摘要

本文提出一种流敏感的静态检测算法.通过需求驱动的控制流分析和数据流分析,建立内存访问语句和函数调用语句发生溢出的线性约束,从而将缓冲区溢出的检测问题转换为线性约束求解问题.我们实现了该算法的原型,实验表明,该原型可以准确而高效地发现实际程序中的缓冲区溢出漏洞.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张民选	国防科技大学计算机学院	71	251	8.0	12.0
2	罗军	国防科技大学计算机学院	13	66	5.0	7.0
3	夏一民	国防科技大学计算机学院	1	2	1.0	1.0
4	曹宏嘉	国防科技大学计算机学院	3	6	2.0	2.0