Title: | Java程序中数组越界和空指针错误的静态分析 |
Alternative Title: | static detection of array bounds errors and null pointer dereference in java
|
Author: | 陈柏强
; 郭涛
; 阮辉
; 严俊
|
Keyword: | 静态分析工具
|
Source: | 计算机应用
|
Issued Date: | 2009
|
Volume: | 29, Issue:5, Pages:1376-1379 | Indexed Type: | 其他
|
Department: | 中国科学院软件研究所,计算机科学国家重点实验室,北京,100190;中国科学院,研究生院,北京,100049;中国信息安全测评中心,北京,100085;中国科学院软件研究所,计算机科学国家重点实验室,北京,100190;中国科学院,研究生院,北京,100049;中国科学院软件研究所,计算机科学国家重点实验室,北京,100190
|
Abstract: | 介绍了静态分析的相关背景知识,对Java程序中数组越界和空指针错误的常见表现形式进行了归类,并通过实验评估了现有的Java静态分析工具功能,指出了其在跨过程分析中的不足,并对如何改进进行了讨论. |
Language: | 中文
|
Content Type: | 期刊论文
|
URI: | http://ir.iscas.ac.cn/handle/311060/7908
|
Appears in Collections: | 计算机科学国家重点实验室 _期刊论文
|
File Name/ File Size |
Content Type |
Version |
Access |
License |
|
Java程序中数组越界和空指针错误的静态分析.pdf(449KB) | -- | -- | 限制开放 | -- | 联系获取全文 |
|
Recommended Citation: |
陈柏强,郭涛,阮辉,等. Java程序中数组越界和空指针错误的静态分析[J]. 计算机应用,2009-01-01,29(5):1376-1379.
|
|
|