| 题名: | static detection of bugs caused by incorrect exception handling in java programs |
| 作者: | Wu Xiaoquan
; Xu Zhongxing
; Wei Jun
|
| 会议文集: | Proceedings - International Conference on Quality Software
|
| 会议名称: | 11th International Conference on Quality Software, QSIC 2011
|
| 会议日期: | 13-Jul-02
|
| 出版日期: | 2011
|
| 会议地点: | Madrid, Spain
|
| 关键词: | Java programming language
; Software testing
; Static analysis
|
| 出版地: | United States
|
| 收录类别: | EI
|
| 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
|
| 主办者: | Computer Science School of the Universidad Complutense de Madrid; Madrid Convention Bureau of the Madrid City Council
|
| 英文摘要: | 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. |
| 内容类型: | 会议论文
|
| 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.
|
|
|
