An uncaught exception analysis for Java

Authors:
Jang-Wu Jo;Byeong-Mo Chang;Kwangkeun Yi;Kwang-Moo Choe
Affiliations:
Department of Computer Engineering, Pusan University of Foreign Studies, 55-1, Uam-dong, Nam-gu, Pusan 608-738, Republic of Korea;Department of Information Science, Sookmyung Women's University, Seoul 140-742, Republic of Korea;Department of Computer Science, Korea Advanced Institute of Science and Technology, Daejon 305-701, Republic of Korea;Department of Computer Science, Korea Advanced Institute of Science and Technology, Daejon 305-701, Republic of Korea
Venue:
Journal of Systems and Software
Year:
2004

Citing 15
Cited 18

Object-oriented type inference

OOPSLA '91 Conference proceedings on Object-oriented programming systems, languages, and applications
Set based program analysis

Set based program analysis
Javalight is type-safe—definitely

POPL '98 Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Fast interprocedural class analysis

POPL '98 Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Type-based analysis of uncaught exceptions

Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Efficient and precise modeling of exceptions for the analysis of Java programs

Proceedings of the 1999 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Analyzing exception flow in Java programs

ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
Analysis and Testing of Programs with Exception Handling Constructs

IEEE Transactions on Software Engineering
Exception handling: issues and a proposed notation

Communications of the ACM
The Java Language Specification

The Java Language Specification
A cost-effective estimation of uncaught exceptions in standard ML programs

Theoretical Computer Science
Complexity of Concrete Type-Inference in the Presence of Exceptions

ESOP '98 Proceedings of the 7th European Symposium on Programming: Programming Languages and Systems
Towards a Cost-Effective Estimation of Uncaught Exceptions in SML Programs

SAS '97 Proceedings of the 4th International Symposium on Static Analysis
Compositional and Inductive Semantic Definitions in Fixpoint, Equational, Constraint, Closure-condition, Rule-based and Game-Theoretic Form

Proceedings of the 7th International Conference on Computer Aided Verification
Tracking down Exceptions in Standard ML Programs

Tracking down Exceptions in Standard ML Programs

Testing of java web services for robustness

ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
Robustness Testing of Java Server Applications

IEEE Transactions on Software Engineering
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
Navigating error recovery code in Java applications

eclipse '05 Proceedings of the 2005 OOPSLA workshop on Eclipse technology eXchange
Exception-Chain Analysis: Revealing Exception Handling Architecture in Java Server Applications

ICSE '07 Proceedings of the 29th international conference on Software Engineering
Assessing the Impact of Aspects on Exception Flows: An Exploratory Study

ECOOP '08 Proceedings of the 22nd European conference on Object-Oriented Programming
Translation and optimization for a core calculus with exceptions

Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation
Exception analysis and points-to analysis: better together

Proceedings of the eighteenth international symposium on Software testing and analysis
A specification logic for exceptions and beyond

ATVA'10 Proceedings of the 8th international conference on Automated technology for verification and analysis
Abstract compilation of object-oriented languages into coinductive CLP(X): can type inference meet verification?

FoVeOOS'10 Proceedings of the 2010 international conference on Formal verification of object-oriented software
Unveiling and taming liabilities of aspects in the presence of exceptions: A static analysis based approach

Information Sciences: an International Journal
Interprocedural exception analysis for C++

Proceedings of the 25th European conference on Object-oriented programming
Divide-by-zero exception raising via branch coverage

SSBSE'11 Proceedings of the Third international conference on Search based software engineering
Practical exception specifications

Advanced Topics in Exception Handling Techniques
Formal methods for smartcard security

Foundations of Security Analysis and Design III
Towards automatic exception safety verification

FM'06 Proceedings of the 14th international conference on Formal Methods
Efficient and effective handling of exceptions in java points-to analysis

CC'13 Proceedings of the 22nd international conference on Compiler Construction
On exceptions, events and observer chains

Proceedings of the 12th annual international conference on Aspect-oriented software development

Quantified Score

Hi-index	0.00

Visualization

Abstract

Current JDK Java compiler relies on programmer's declarations (by throws clauses) for checking against uncaught exceptions of the input program. It is not elaborate enough to remove programmer's unnecessary handlers nor suggest to programmers for specialized handlings (when programmer's declarations are too broad). We propose a static analysis of Java programs that estimates their uncaught exceptions independently of the programmer's declarations. This analysis is designed and implemented based on set-based 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 interprocedural exception analysis is more precise than JDK-style intraprocedural analysis, and also that our analysis can effectively detect uncaught exceptions for realistic Java programs.