基于区域内存模型的空指针引用缺陷检测

• 作者: 宫云战 董玉坤 金大海
• 来源期刊: 电子学报
• 学科: 工学
• 关键词: 空指针引用 内存模型 静态分析 函数摘要 缺陷检测
• 年，卷（期）: 2014,（9）
• 所属期刊栏目: 学术论文
• 页码范围: 1744-1752
• 页数: 9页
• 分类号: TP311.5
• 字数: 9352字
• 语种: 中文
• DOI: 10.3969/j.issn.0372-2112.2014.09.013

摘要

为了实现对C程序中空指针引用的充分检测，本文提出了一种基于区域内存模型的空指针引用缺陷检测方法。首先，提出了基于区域的符号化三值逻辑（Region-based Symbolic Three-Valued Logic ，RSTVL ），RSTVL能够描述C程序运行时内存中数据结构的形态信息与变量的存储状态，以及可寻址表达式间的各种关系；其次，给出了基于抽象语法树与函数识别被引用指针方法；最后，结合基于RSTVL的数据流分析结果，将对被引用指针的检测转换为对相应区域的检测，给出了空指针引用缺陷检测的方法，通过函数实现过程间的空指针引用缺陷检测。对比实验结果表明，本文方法在保证一定检测准确率的前提下，能够极大的减少空指针引用缺陷的漏报。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	宫云战	北京邮电大学网络与交换技术国家重点实验室	50	577	15.0	23.0
2	董玉坤	北京邮电大学网络与交换技术国家重点实验室	5	28	2.0	5.0
4	金大海	北京邮电大学网络与交换技术国家重点实验室	10	91	4.0	9.0