Design and Implementation of a Exception Propagation Analysis Tool

Exception handling is a technology that tests and handles exception.Exception propagation induces a control flow other than the main control flow,so it changes the data flows,control flows of programs and the dependence relationshi Pbetween the structure elements of programs.For the analysis of C++ programs to be correct and precise,the flows induced by exception propagation must be properly analyzed.The paper describes the design and implementation of the CETool,an exception propagation analysis tool we have developed to provide exception propagation information for C++ systems.The CETool can effectively analyze the exception propagation of C++ program.It can provide the local information of the exception propagation of an exception,and also the whole information of exception propagation for the program.The information is helpful to analyze exception propagation,analyze exception propagation path,and support the improvements to the exception handling structure of a system.