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