|
计算机科学 2008
Design and Implementation of a Exception Propagation Analysis Tool
|
Abstract:
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 ha...