Exception Analysis for Java

Current JDK Java compiler relies too much on programmer's speciication for checking against uncaught exceptions of the input program. It is not elaborate enough to remove programmer's unnecessary handlers (when programmer's speciications are too many) nor suggest to programmers for specialized handlings (when programmer's speciica-tions are too general). We propose a static analysis of Java programs that estimates their exception ows independently of the programmer's speciications. This analysis is an extension of a class analysis to Java's exception mechanism. Its cost-eeectiveness balance is suggested by sparsely analyzing the program at method-level (hence reducing the number of unknowns in the ow equations).