| 题名: | Java程序中数组越界和空指针错误的静态分析 |
| 其他题名: | static detection of array bounds errors and null pointer dereference in java
|
| 作者: | 陈柏强
; 郭涛
; 阮辉
; 严俊
|
| 关键词: | 静态分析工具
|
| 刊名: | 计算机应用
|
| 发表日期: | 2009
|
| 卷: | 29, 期:5, 页:1376-1379 | | 收录类别: | 其他
|
| 部门归属: | 中国科学院软件研究所,计算机科学国家重点实验室,北京,100190;中国科学院,研究生院,北京,100049;中国信息安全测评中心,北京,100085;中国科学院软件研究所,计算机科学国家重点实验室,北京,100190;中国科学院,研究生院,北京,100049;中国科学院软件研究所,计算机科学国家重点实验室,北京,100190
|
| 摘要: | 介绍了静态分析的相关背景知识,对Java程序中数组越界和空指针错误的常见表现形式进行了归类,并通过实验评估了现有的Java静态分析工具功能,指出了其在跨过程分析中的不足,并对如何改进进行了讨论. |
| 语种: | 中文
|
| 内容类型: | 期刊论文
|
| 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.
|
|
|
