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 ...

For these analyses to be safe and useful, the CFG should incorporate the exception-induced control flow. Failure to account for exception induced control flows in performing analyses can result in ...