|
|||||
|
|
| Java程序中数组越界和空指针错误的静态分析 | |
| 引用本文： | 陈柏强,郭涛,阮辉,严俊.Java程序中数组越界和空指针错误的静态分析[J].计算机应用,2009,29(5):1376-1379. |
| 作者姓名： | 陈柏强 郭涛 阮辉 严俊 |
| 作者单位： | 1. 中国科学院软件研究所,计算机科学国家重点实验室,北京,100190;中国科学院,研究生院,北京,100049 2. 中国信息安全测评中心,北京,100085 3. 中国科学院软件研究所,计算机科学国家重点实验室,北京,100190 |
| 摘 要： | 介绍了静态分析的相关背景知识，对Java程序中数组越界和空指针错误的常见表现形式进行了归类，并通过实验评估了现有的Java静态分析工具功能，指出了其在跨过程分析中的不足，并对如何改进进行了讨论。 |
| 关 键 词： | 静态分析工具 Java代码 数组越界 空指针 static analysis tool Java code array index out of bounds null pointer dereference |
| 收稿时间： | 2008-11-21 |
| 修稿时间： | 2009-01-08 |
Static detection of array bounds errors and null pointer dereference in Java |
|
| CHEN Bai-qiang,GUO Tao,RUAN Hui,YAN Jun.Static detection of array bounds errors and null pointer dereference in Java[J].journal of Computer Applications,2009,29(5):1376-1379. | |
| Authors: | CHEN Bai-qiang GUO Tao RUAN Hui YAN Jun |
| Affiliation: | 1.State Key Laboratory of Computer Science;Institute of Software;Chinese Academy of Sciences;Beijing 100190;China;2.Graduate University of Chinese Academy of Sciences;Beijing 100049;3.China Information Technology Security Evaluation Center;Beijing 100085;China |
| Abstract: | Background knowledge of static analysis in Java was introduced, and the general scenarios of array index out of bounds and null pointer dereference in Java program were classified. Experimental evaluation of the presented static analysis tools show that these tools are not efficient for analyzing the inter-procedural errors and the authors give brief discussions on how to solve this problem. |
| Keywords: | static analysis tool Java code array index out of bounds null pointer dereference |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |
| 点击此处可从《计算机应用》浏览原始摘要信息 | |
| 点击此处可从《计算机应用》下载全文 | |
