Exception Analysis for Multithreaded Java Programs

Authors:
S. Ryu;K. Yi
Affiliations:
-;-
Venue:
APAQS '01 Proceedings of the Second Asia-Pacific Conference on Quality Software
Year:
2001

Citing 0
Cited 3

Static analysis to support the evolution of exception structure in object-oriented systems

ACM Transactions on Software Engineering and Methodology (TOSEM)
Combining the robustness of checked exceptions with the flexibility of unchecked exceptions using anchored exception declarations

OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Exception analysis and points-to analysis: better together

Proceedings of the eighteenth international symposium on Software testing and analysis

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents a static analysis that estimates un-caught exceptions in multithreaded Java programs. In Java,throwing exceptions across threads is deprecated becauseof the safet problem. Instead of restricting programmers'freedom, we extend Java language to support multithreadedexception handling and propose a tool to detect uncaughtexceptions in the input programs.Our analysis consists of two steps. The analysis firstlyestimates 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 twosteps are proved safe.