In Java, exceptions are one of many structures that govern the control flow of a program. Specifically, they are unintended side effects of a program's normal execution. When writing code that can ...

Abstract: In this article we propose a control flow analysis in the presence of exceptions for Java programs. This analysis is realised in two phases: a master key on the hard intra-process level (on ...

Abstract: Although it is common in large Java programs to rethrow exceptions, existing exception-flow analyses find only single exception-flow links, thus are unable to identify multiple-link ...