基于源码分析的缓冲区溢出漏洞检测方法

• 作者: 尹茗 张功萱
• 来源期刊: 江苏大学学报（自然科学版）
• 学科: 工学
• 关键词: 缓冲区溢出检测 软件开发 有限状态自动机 静态源码分析 蠕虫
• 年，卷（期）: 2016,（4）
• 页码范围: 450-455
• 页数: 6页
• 分类号: TP311
• 字数: 6369字
• 语种: 中文
• DOI: 10.3969/j.issn.1671-7775.2016.04.013

摘要

根据缓冲区溢出原因提出一种基于源码分析的缓冲区溢出漏洞检测方法，该方法对源码预处理后进行静态分析并依次构造相应的抽象语法树、控制流图、函数调用图和变量表，最后建立有限状态自动机检测模型。以容易出现溢出的C／C＋＋源码为例，构造相应的检测模型，结果表明：该检测模型相比已有检测方案，可以更加有效地检测出缓冲区溢出漏洞；同时，该方法对程序代码中的危险函数调用和溢出过滤机制也能进行有效识别从而降低误报率，该检测方法也适用于其他语言的源码检测。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张功萱	南京理工大学计算机科学与工程学院	57	386	9.0	17.0
2	尹茗	南京理工大学计算机科学与工程学院	1	7	1.0	1.0