Data flow analysis of Java programs in the presence of exceptions

DOI10.1007/3-540-46562-6_34MaRDI QIDQ2729949zbMATH OpenFDO

Authors V. I. Shelekhov, S. V. Kuksenko

Publication date 23 October 2001

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-46562-6_34

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Computing methodologies and applications (68U99)

Recommendations

• An approach of data-flow analysis based on exception propagation analysis
• A formalisation of Java's exception mechanism
• Runtime Exception Detection in Java Programs Using Symbolic Execution
• Computer Aided Verification
• Computational Science and Its Applications – ICCSA 2004
• Verification, Model Checking, and Abstract Interpretation

Cited in

(4)

• A cost-effective estimation of uncaught exceptions in Standard ML programs
• Runtime Exception Detection in Java Programs Using Symbolic Execution
• An approach of data-flow analysis based on exception propagation analysis
• Computational Science and Its Applications – ICCSA 2004

This page was built for publication: Data flow analysis of Java programs in the presence of exceptions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2729949)