An Approach to Analyzing Dependence Based on Exception Propagation Analysis
JIANG Shu-Juan1,2,3+, XU Bao-Wen1,2, SHI Liang1,2, ZHOU Xiao-Yu1,2 1(School of Computer Science and Engineering, Southeast University, Nanjing 210096, China) 2(Jiangsu Institute of Software Quality, Nanjing 210096, China) 3(School of Computer Science and Technology, China University of Mining and Technology, Xuzhou 221008, China)
Based on analyzing the effects of exception handling constructs on dependence analysis, this paper proposes a precise and efficient representation for C++ programs with exception handling constructs—improved control flow graph. It proposes a new approach to analyzing the data dependences and control dependences of intra-function and inter-function in C++ programs with exception handling constructs, and an efficient algorithm is also presented. This method overcomes the limitations of the previous incorrect analysis because of failing to account for the effects of exception handling constructs, and also provides a basis for automatic dependence analysis that contains exception propagation. Finally, it discusses the application of the dependence analysis method in program slicing.