Java程序中数组越界和空指针错误的静态分析

	Java程序中数组越界和空指针错误的静态分析
	陈柏强 ; 郭涛 ; 阮辉 ; 严俊
刊名	计算机应用
	2009
卷号	29 期号:5 页码:1376-1379
关键词	静态分析工具
ISSN号	1001-9081
其他题名	static detection of array bounds errors and null pointer dereference in java
中文摘要	介绍了静态分析的相关背景知识,对Java程序中数组越界和空指针错误的常见表现形式进行了归类,并通过实验评估了现有的Java静态分析工具功能,指出了其在跨过程分析中的不足,并对如何改进进行了讨论.
收录类别	其他
语种	中文
公开日期	2011-03-18
内容类型	期刊论文
源URL	[http://124.16.136.157/handle/311060/7908]
专题	软件研究所_计算机科学国家重点实验室 _期刊论文
推荐引用方式 GB/T 7714	陈柏强,郭涛,阮辉,等. Java程序中数组越界和空指针错误的静态分析[J]. 计算机应用,2009,29(5):1376-1379.
APA	陈柏强,郭涛,阮辉,&严俊.(2009).Java程序中数组越界和空指针错误的静态分析.计算机应用,29(5),1376-1379.
MLA	陈柏强,et al."Java程序中数组越界和空指针错误的静态分析".计算机应用 29.5(2009):1376-1379.