S. Jiang, B. Xu, and L. Shi (PRC)
Exception handling, exception propagation, program analysis
Exception handling is a technology that tests and handles exception. Because of the exception propagation, there are many difficulties to solve in program analysis, understanding, testing and maintenance. Firstly, the paper proposes a precise and efficient representation, exception propagation graph, for the C++ programs with explict exception raises and exception handligg constructs. The method can easily gain the paths of exception propagation. Then an efficent algorithm is presented to construct the exception propagation graph. The papaer also discusses how exception propagation path can be used for sturctural testing and how insight into exception handling strategies can be gained from it. This provides threads for improving the design and implementation of exception handling codes.