| 空指针解引用错误检测的静态方法研究 |
| |
| 引用本文： | 徐厚峰,马晓东.空指针解引用错误检测的静态方法研究[J].计算机工程与科学,2009,31(3). |
| |
| 作者姓名： | 徐厚峰 马晓东 |
| |
| 作者单位： | 并行与分布处理重点实验室,湖南,长沙,410073 |
| |
| 基金项目： | 国家自然科学基金，国家高技术研究发展计划(863计划)，国家重点基础研究发展规划(973计划)，新世纪优秀人才计划 |
| |
| 摘 要： | 空指针解引用是C语言中的一类常见的动态内存错误。Manevich R等提出了一种适用于检测空指针解引用错误的后向分析方法。本文将后向分析的思想和流敏感、上下文敏感的指针分析结合在一起,给出了一种需求驱动的空指针解引用检测静态分析算法。该算法首先由指针分析获得别名信息,然后针对所关心的数据做后向数据流分析,追踪数据传递的源头,以确定程序中的表达式是否产生解引用错误。我们在SUIF2平台上实现了这一算法。实验结果表明,算法具有较高的检测精度。
|
| 关 键 词： | 空指针解引用 指向图 后向分析 指针分析 |
A Study of the Static Method of Detecting Null Pointer Dereference |
| |
| XU Hou-feng,MA Xiao-dong.A Study of the Static Method of Detecting Null Pointer Dereference[J].Computer Engineering & Science,2009,31(3). |
| |
| Authors: | XU Hou-feng MA Xiao-dong |
| |
| Affiliation: | National Laboratory for Parallel and Distributed Processing;Changsha 410073;China |
| |
| Abstract: | Null pointer dereference is a kind of dynamic memory error that arises frequently in the C language.Roman Manevich has presented a backwards analysis method which is appropriate for detecting null pointer dereferences.In this paper,combining the idea of backwards analysis and a flow-and context-sensitive pointer analysis,we describe a demand-driven static analysis algorithm for detecting null pointer dereferences.It firstly gets the alias information from the pointer analysis,and then makes a backwards data... |
| |
| Keywords: | null pointer dereference points-to graph backwards analysis pointer analysis |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
