Analysis of Programs With Exception Handling Constructs

Abstract

Analysis techniques, such as control-flow, data-flow, and control-dependence, are used for a variety of maintenance tasks, 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.


Related research categories:
(1) Program Analysis
(2) Control Flow
(3) Control Dependence
(4) Data Flow
(5) Object-Oriented
(6) Testing

Go To Publications