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