Analysis of Object-Oriented Programs with Exception-Handling Constructs

Abstract

In the dependence analysis of object-oriented programs, if the influence of exception propagation on the dependency is not considered, the information will be inaccurate. At present, the existing methods with exception propagation mostly aimed at intra-class analysis, which cannot meet the needs of actual software development. This paper proposes an approach to analyzing inter-class control dependence of programs with exception-handling constructs. The approach takes account of constructors and destructors, which makes the analysis more accurate. The approach is carried on by constructing inter-class control flow graph. According to the relationships of different classes, such as inheritance, aggregation and association, we incrementally construct an inter-class control flow graph. Finally, we apply the analysis method to C++ program slicing. The experiment results show that our approach is more accurate and can bring about the improvement of the slice accuracy through analyzing the influence of exception-handling constructs.