| Title: | static detection of bugs caused by incorrect exception handling in java programs |
| Author: | Wu Xiaoquan
; Xu Zhongxing
; Wei Jun
|
| Source: | Proceedings - International Conference on Quality Software
|
| Conference Name: | 11th International Conference on Quality Software, QSIC 2011
|
| Conference Date: | 13-Jul-02
|
| Issued Date: | 2011
|
| Conference Place: | Madrid, Spain
|
| Keyword: | Java programming language
; Software testing
; Static analysis
|
| Publish Place: | United States
|
| Indexed Type: | EI
|
| ISSN: | 15506002
|
| ISBN: | 9780769544687
|
| Department: | (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
|
| Sponsorship: | Computer Science School of the Universidad Complutense de Madrid; Madrid Convention Bureau of the Madrid City Council
|
| English Abstract: | 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. |
| Content Type: | 会议论文
|
| URI: | http://ir.iscas.ac.cn/handle/311060/14221
|
| Appears in Collections: | 软件工程技术研究开发中心 _会议论文
|
| File Name/ File Size |
Content Type |
Version |
Access |
License |
|
|---|
| static detection of bugs caused by incorrect exception handling in java programs.pdf（422KB） | -- | -- | 限制开放 | -- | 联系获取全文 |
|
| Recommended Citation: | |
Wu Xiaoquan,Xu Zhongxing,Wei Jun. static detection of bugs caused by incorrect exception handling in java programs[C]. 见:11th International Conference on Quality Software, QSIC 2011. Madrid, Spain. 13-Jul-02.
|
|
|
