loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Second Asia-Pacific Conference on Quality Software (APAQS'01)
Exception Analysis for Multithreaded Java Programs
Hong Kong
December 10-December 11
ISBN: 0-7695-1287-9
S. Ryu, Korea Advanced Institute of Science and Technology
K. Yi, Korea Advanced Institute of Science and Technology
This paper presents a static analysis that estimates un- caught exceptions in multithreaded Java programs. In Java, throwing exceptions across threads is deprecated because of the safet problem. Instead of restricting programmers? freedom, we extend Java language to support multithreaded exception handling and propose a tool to detect uncaught exceptions in the input programs.
Our analysis consists of two steps. The analysis firstly estimates concurrently evaluated expressions of the multithreads in Java programs by the synchronization relation among the threads. Using this concurrency information, program?s exception flow is derived as set-constraints, whose least model is our analysis result. Both of these two steps are proved safe.
Citation:
S. Ryu, K. Yi, "Exception Analysis for Multithreaded Java Programs," apaqs, pp.0023, Second Asia-Pacific Conference on Quality Software (APAQS'01), 2001
Usage of this product signifies your acceptance of the Terms of Use.