Analysis of programs with exception-handling constructs

Analysis techniques, such as control-flow, data-flow: and control-dependence, are used for a variety of maintenance task. including regression testing, dynamic execution profiling and static and dynamic slicing To be applicable to programs in languages, such as Java and C++ however; these analysis techniques should, to the extent possible, account for the effects of exception occurrences and exception-handling constructs. This paper presents techniques to construct intraprocedural and interprocedural representations on which existing techniques can be performed, and demonstrates their applicability to several maintenance tasks.