一种静态分析C++异常处理的方法

摘要

异常处理是现代程序设计语言提供的用来提高软件健壮性的一种机制.由于在C++的函数界面中并不要求声明该函数所能传播出的异常的类型,所以要想提高系统的健壮性,必须清楚在程序的执行过程中可能引发的异常、异常的传播路径等.然而在大型系统中,要想确定这些信息是非常困难的.本文针对C++的异常处理机制,首先提出了一个描述C++异常结构信息的模型,并把该模型应用于递归函数中.然后,描述了一个基于该模型的分析C++程序异常结构信息的工具CETool.该工具能提供所有显式引发异常的有关信息,为系统中异常处理结构的改进和程序的结构测试提供有价值的信息.最后给出了该工具的实现方法和应用实例.