| 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.
|
|
|
