Constructing control flow graph that accounts for exception induced control flows for Java

Many program-analysis techniques, such as data-flow and control-dependence analysis, and software-engineering techniques, such as program slicing and testings, use control flow graph (CFG). 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 incorrect analysis information. In this paper, we propose a method to construct CFG that accounts for exception-induced control flow. We show that normal control flows and exception induced control flows can be safely decoupled, hence these two flows can be computed separately. We propose the analysis that estimates exception-induced control flows, and also propose exception propagation graph that represents exception induced control flows. The control flow graph that accounts for exception-induced control flow can be constructed by merging exception propagation graph onto control flow graph with normal control flows.