【摘要】 异常处理是一种用来检测异常并对其进行处理的技术,异常传播改变程序原来的执行路线,从而可能改变程序中的数据流、控制流和各种成分的依赖关系。在进行程序分析时,如果不考虑异常传播对其造成的影响,则得到的信息将是不准确的。本文设计并实现了一个分析C++程序中异常传播分析工具CETool。该工具可以有效地分析C++程序的异常传播,它既可以获得异常处理结构的局部信息,也可以获得异常处理结构的全局信息,这对于有效地分析异常的传播,分析异常传播路径,以及改进异常处理结构都有很大的帮助。更多还原

【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 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.更多还原