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

第 4期 电 子 学 报 Vo1．43 NO．4 2015年4月 AC1 ELECTRONICA sJNICA Apr． 2015 基于值依赖分析的空指针解引用检测 马 森 ，一，赵 文 一，习翔宇 ，一，王栋伟 ，。 (1．北京大学信息科学技术学院，北京 100871；2．北京大学软件工程国家工程研究中心，北京 100871 3．北京大学信息科学技术学院软件研究所高可信软件技术教育部重点实验室，北京 100871) 摘 要： 本文提出了一种基于程序值依赖分析的、路径敏感的空指针解引用检测方法 ．该方法通过结合数据流 分析中的到达定值分析 、区间分析及指向分析创建了值依赖分析图，该图刻画了可能产生空指针语句到其解引用语句 的值依赖关系．该图中的边采用守卫标注，即描述了相邻点之间的到达条件 ．为了降低误报率 ，本文同时提