%0 Journal Article
%T 基于值依赖分析的空指针解引用检测
%A 马森
%A 赵文
%A 习翔宇
%A 王栋伟
%J 电子学报
%P 647-651
%D 2015
%R 10.3969/j.issn.0372-2112.2015.04.004
%X 本文提出了一种基于程序值依赖分析的、路径敏感的空指针解引用检测方法.该方法通过结合数据流分析中的到达定值分析、区间分析及指向分析创建了值依赖分析图,该图刻画了可能产生空指针语句到其解引用语句的值依赖关系.该图中的边采用守卫标注,即描述了相邻点之间的到达条件.为了降低误报率,本文同时提出了一种需求驱动的必然别名算法.由本文所述方法实现的工具展示了良好的实验效果,在10个SPEC2000项目中发现了70余个空指针解引用缺陷,误报率仅为6%左右.
%K 程序分析
%K 静态缺陷检测
%K 空指针解引用检测
%K 需求驱动别名分析
%U http://www.ejournal.org.cn/CN/abstract/abstract8921.shtml