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 |
会议日期 | 13-Jul-02 |
会议地点 | Madrid, Spain |
关键词 | Java programming language Software testing Static analysis |
页码 | 61-66 |
英文摘要 | 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. |
收录类别 | EI |
会议主办者 | Computer Science School of the Universidad Complutense de Madrid; Madrid Convention Bureau of the Madrid City Council |
会议录 | Proceedings - International Conference on Quality Software
![]() |
会议录出版地 | United States |
ISSN号 | 15506002 |
ISBN号 | 9780769544687 |
源URL | [http://124.16.136.157/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]. 见:11th International Conference on Quality Software, QSIC 2011. Madrid, Spain. 13-Jul-02. |
入库方式: OAI收割
来源:软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。