static detection of bugs caused by incorrect exception handling in java programs

	static detection of bugs caused by incorrect exception handling in java programs
	Wu Xiaoquan; Xu Zhongxing; Wei Jun
	2011
会议名称	11th International Conference on Quality Software, QSIC 2011
会议录名称	Proceedings - International Conference on Quality Software
页码	61-66
会议日期	13-Jul-02
会议地点	Madrid, Spain
收录类别	EI
出版地	United States
ISSN	15506002
ISBN	9780769544687
部门归属	(1) Technology Center of Software Engineering, Institute of Software, Chinese Academy of Sciences, Beijing, China; (2) State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China; (3) Graduate University, Chinese Academy of Sciences, Beijing, China
摘要	Exception handling is a vital but often poorly tested part of a program. Static analysis can spot bugs on exceptional paths without actually making the exceptions happen. However, the traditional methods only focus on null dereferences on exceptional paths, but do not check the states of variables, which may be corrupted by exceptions. In this paper we propose a static analysis method that combines forward flow sensitive analysis and backward path feasibility analysis, to detect bugs caused by incorrect exception handling in Java programs. We found 8 bugs in three open source server applications, 6 of which cannot be found by Find Bugs. The experiments showed that our method is effective for finding bugs related to poorly handled exceptions. © 2011 IEEE.
关键词	Java Programming Language Software Testing Static Analysis
主办者	Computer Science School of the Universidad Complutense de Madrid; Madrid Convention Bureau of the Madrid City Council
内容类型	会议论文
URI标识	http://ir.iscas.ac.cn/handle/311060/14221
专题	软件工程技术研究开发中心
推荐引用方式 GB/T 7714	Wu Xiaoquan,Xu Zhongxing,Wei Jun. static detection of bugs caused by incorrect exception handling in java programs[C]. United States,2011:61-66.

条目包含的文件
文件名称/大小	文献类型	版本类型	开放类型	使用许可
static detection of （422KB）			开放获取	--	请求全文