| 题名: | static detection of unsafe use of variables in java program |
| 作者: | Wu Xiaoquan
; Wei Jun
|
| 会议文集: | Proceedings - Symposia and Workshops on Ubiquitous, Autonomic and Trusted Computing in Conjunction with the UIC 2010 and ATC 2010 Conferences, UIC-ATC 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
|
| 出版日期: | 2010
|
| 会议地点: | Xi'an, China
|
| 关键词: | Computer software selection and evaluation
; Java programming language
; Object oriented programming
; Program debugging
; Ubiquitous computing
|
| 出版地: | United States
|
| 收录类别: | EI
|
| ISBN: | 9780770000000
|
| 部门归属: | (1) Technology Center of Software Engineering, Institute of Software, Chinese Academy of Sciences, Beijing, China
|
| 英文摘要: | 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. |
| 内容类型: | 会议论文
|
| URI标识: | http://ir.iscas.ac.cn/handle/311060/8918
|
| Appears in Collections: | 软件工程技术研究开发中心 _会议论文
|
| File Name/ File Size |
Content Type |
Version |
Access |
License |
|
|---|
| 05667112.pdf（437KB） | -- | -- | 限制开放 | -- | 联系获取全文 |
|
| Recommended Citation: | |
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.
|
|
|
