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

董玉坤; 宫云战; 金大海

doi:10.3969/j.issn.0372-2112.2014.09.013

您当前的位置：

首页 >

文章列表页 >

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

学术论文 | 更新时间：2025-07-16

- 基于区域内存模型的空指针引用缺陷检测
- Null Pointer Dereference Defect Detected Based on Region-Based Memory Model
- 电子学报 2014年42卷第9期页码：1744-1752
- 作者机构：
  
  1. 北京邮电大学网络与交换技术国家重点实验室,北京,100876
  2. 中国石油大学(华东)计算机与通信工程学院,山东,青岛,266580
  3. 北京邮电大学网络与交换技术国家重点实验室,北京,100876
  4. 中国石油大学(华东)计算机与通信工程学院,山东,青岛,266580
- 作者简介：
- 基金信息：
  
  国家自然科学基金 (No.91318301，No.61202080）;国家863高技术研究发展计划 (No.2012AA011201）
- DOI：10.3969/j.issn.0372-2112.2014.09.013
  中图分类号： TP311.5
- 纸质出版：2014
- 稿件说明：
移动端阅览
董玉坤, 宫云战, 金大海. 基于区域内存模型的空指针引用缺陷检测[J]. 电子学报, 2014,42(9):1744-1752.

DONG Yu-kun, GONG Yun-zhan, JIN Da-hai. Null Pointer Dereference Defect Detected Based on Region-Based Memory Model[J]. Acta Electronica Sinica, 2014, 42(9): 1744-1752.
董玉坤, 宫云战, 金大海. 基于区域内存模型的空指针引用缺陷检测[J]. 电子学报, 2014,42(9):1744-1752. DOI： 10.3969/j.issn.0372-2112.2014.09.013.

DONG Yu-kun, GONG Yun-zhan, JIN Da-hai. Null Pointer Dereference Defect Detected Based on Region-Based Memory Model[J]. Acta Electronica Sinica, 2014, 42(9): 1744-1752. DOI： 10.3969/j.issn.0372-2112.2014.09.013.

摘要

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

Abstract

In order to fully detect null pointer dereference for C procedures

this paper introduces a method based on region-based memory model.Firstly

region-based symbolic three-valued logic(RSTVL)is proposed

which can describe shape of data structures

all kinds of memory states and relations of addressable expressions.Then

an approach to fully recognizing pointer dereferences based on abstract syntax tree and procedure summary is introduced.Furthermore

this paper introduces a null pointer dereference detection method

which translates pointer dereference detection into region detection applying the result of data flow analysis based on RSTVL

and detects interprocedural null pointer dereference based on procedure summary.Experiment results show that compared with DTSC_STVL and Klocwork9

the proposed method could dramatically reduce null pointer dereference false negative on the precondition of guarantee the detection precision.

关键词

Keywords

references

浏览量

1680

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

条件上下文敏感的安卓恶意虚拟化应用检测方法

基于抽象解释的变量值范围分析及应用

缓冲区溢出漏洞精确检测方法研究

基于动态协同双向映射的相似执行路径生成方法

通过用况聚类促进软件结构恢复的方法