一个异常传播分析工具的设计与实现

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