基于值依赖分析的空指针解引用检测

• 作者: 习翔宇 王栋伟 赵文 马森
• 来源期刊: 电子学报
• 学科: 工学
• 关键词: 程序分析 静态缺陷检测 空指针解引用检测 需求驱动别名分析
• 年，卷（期）: 2015,（4）
• 所属期刊栏目: 学术论文
• 页码范围: 647-651
• 页数: 5页
• 分类号: TP311
• 字数: 3895字
• 语种: 中文
• DOI: 10.3969/j.issn.0372-2112.2015.04.004

摘要

本文提出了一种基于程序值依赖分析的、路径敏感的空指针解引用检测方法.该方法通过结合数据流分析中的到达定值分析、区间分析及指向分析创建了值依赖分析图,该图刻画了可能产生空指针语句到其解引用语句的值依赖关系.该图中的边采片守卫标注,即描述了相邻点之间的到达条件.为了降低误报率,本文同时提出了一种需求驱动的必然别名算法.由本文所述方法实现的工具展示了良好的实验效果,在10个SPEC2000项目中发现了70余个空指针解引用缺陷,误报率仅为6％左右.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	赵文	北京大学软件工程国家工程研究中心	26	672	8.0	25.0
5	习翔宇	北京大学软件工程国家工程研究中心	3	1	1.0	1.0
9	马森	北京大学信息科学技术学院	2	3	1.0	1.0