Key points are not available for this paper at this time.
Current JDK Java compiler relies too much on programmer s specification for checking against uncaught exceptions of the input program. It is not elaborate enough to remove programmers unnecessary handlers (when programmer s specifications are too many) nor suggest to programmers for specialized handlings (when programmers specifications are too general). We propose a static analysis of Java programs that estimates their exception flows independently of the programmers specifications. This analysis is designed and implemented based on set-constraint framework. Its cost-effectiveness is suggested by sparsely analyzing the program at method-level (hence reducing the number of unknowns in the flow equations). We have shown that our exception analysis can effectively detect uncaught exceptions for realistic Java programs. 1. INTRODUCTION Exception facilities in Java allow the programmer to define, throw and catch exceptional conditions. Exceptional conditions are brought (by a throw ...
Chang et al. (Thu,) studied this question.