空指针解引用错误检测的静态方法研究

• 作者: 徐厚峰 马晓东
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: 空指针解引用 指向图 后向分析 指针分析
• 年，卷（期）: 2009,（3）
• 所属期刊栏目: 算法研究
• 页码范围: 92-96
• 页数: 5页
• 分类号: TP311
• 字数: 5856字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2009.03.027

摘要

空指针解引用是C语言中的一类常见的动态内存错误.Manevich R等提出了一种适用于检测空指针解引用错误的后向分析方法.本文将后向分析的思想和流敏感、上下文敏感的指针分析结合在一起,给出了一种需求驱动的空指针解引用检测静态分析算法.该算法首先由指针分析获得别名信息,然后针对所关心的数据做后向数据流分析,追踪数据传递的源头,以确定程序中的表达式是否产生解引用错误.我们在SUW2平台上实现了这一算法.实验结果表明,算法具有较高的检测精度.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	马晓东		2	5	1.0	2.0
2	徐厚峰		2	5	1.0	2.0