Title: | static detection of unsafe use of variables in java program |
Author: | Wu Xiaoquan
; Wei Jun
|
Source: | Proceedings - Symposia and Workshops on Ubiquitous, Autonomic and Trusted Computing in Conjunction with the UIC 2010 and ATC 2010 Conferences, UIC-ATC 2010
|
Conference Name: | 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
|
Conference Date: | 40842
|
Issued Date: | 2010
|
Conference Place: | Xi'an, China
|
Keyword: | Computer software selection and evaluation
; Java programming language
; Object oriented programming
; Program debugging
; Ubiquitous computing
|
Publish Place: | United States
|
Indexed Type: | EI
|
ISBN: | 9780770000000
|
Department: | (1) Technology Center of Software Engineering, Institute of Software, Chinese Academy of Sciences, Beijing, China
|
English Abstract: | 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. |
Content Type: | 会议论文
|
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.
|
|
|