Institutional Repository
| static detection of bugs caused by incorrect exception handling in java programs | |
| Wu Xiaoquan; Xu Zhongxing; Wei Jun | |
| 2011 | |
| Conference Name | 11th International Conference on Quality Software, QSIC 2011 |
| Source | Proceedings - International Conference on Quality Software |
| Pages | 61-66 |
| Conference Date | 13-Jul-02 |
| Conference Place | Madrid, Spain |
| Indexed Type | EI |
| Publish Place | United States |
| 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 |
| 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. |
| Keyword | Java Programming Language Software Testing Static Analysis |
| Sponsorship | Computer Science School of the Universidad Complutense de Madrid; Madrid Convention Bureau of the Madrid City Council |
| Content Type | 会议论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/14221 |
| Collection | 软件工程技术研究开发中心 |
| Recommended Citation 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. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| static detection of （422KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment