static detection of unsafe use of variables in java program
文献类型:会议论文
作者 | Wu Xiaoquan ; Wei Jun |
出版日期 | 2010 |
会议名称 | Symposia and Workshops Held in Conjunction with the 7th International Conference on Ubiquitous Intelligence and Computing, UIC 2010 and the 7th International Conference on Autonomic and Trusted Computing, ATC 2010 |
会议日期 | 40842 |
会议地点 | Xi'an, China |
关键词 | Computer software selection and evaluation Java programming language Object oriented programming Program debugging Ubiquitous computing |
页码 | 439-443 |
英文摘要 | Exception handling has been introduced into object oriented programming languages to help developing robust software. At the same time, it makes programming more difficult and it is not easy to write high quality exception handling codes. Careless exception handling code will introduce bugs and it usually forms certain kind of bug pattern. In this paper we propose a new bug pattern unsafe use of variables due to exception occurrences. It may cause the dependency safety property violation in a program. We also develop a static approach to automatically detect unsafe use of variables that may introduce potential bugs in Java program. This approach can be integrated into current bug finding tools to help developer improve the quality of Java program. © 2010 IEEE. |
收录类别 | EI |
会议录 | Proceedings - Symposia and Workshops on Ubiquitous, Autonomic and Trusted Computing in Conjunction with the UIC 2010 and ATC 2010 Conferences, UIC-ATC 2010
![]() |
会议录出版地 | United States |
ISBN号 | 9780770000000 |
源URL | [http://124.16.136.157/handle/311060/8918] ![]() |
专题 | 软件研究所_软件工程技术研究开发中心 _会议论文 |
推荐引用方式 GB/T 7714 | Wu Xiaoquan,Wei Jun. static detection of unsafe use of variables in java program[C]. 见:Symposia and Workshops Held in Conjunction with the 7th International Conference on Ubiquitous Intelligence and Computing, UIC 2010 and the 7th International Conference on Autonomic and Trusted Computing, ATC 2010. Xi'an, China. 40842. |
入库方式: OAI收割
来源:软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。