Control flow analysis in presence of exceptions for Java

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 the level of only one hard process) and another on the hard inter-process level (between hard processes). This analysis utilises one approximation of possible receivers of calls methods and also of exceptions propagated. The result of this analysis is represented by a graph of the control flow. The representation will allow analyses of the given control flow and the way of hard inter-process and to carry out possible optimisations.