一种静态检测C++异常安全的方法

异常作为C++语言的错误处理机制,为C++程序设计提供了很多便利。恰当使用异常可以提高程序的健壮性,但不当使用会导致程序运行效率降低,甚至使程序崩溃。文章通过分析异常在C++程序中的各种表现形式,对异常安全漏洞进行了分类,在此基础上构建异常安全规则,采用过程间自下而上收集传递信息和过程内语法制导翻译相结合的方法,实现了C++异常安全的静态检查。

Approach of Statically Detecting C++ Exception Safety

As an exception handling mechanism of C Language,exception has provided much advantage in C programming.Proper use of exception can improve robustness of program;otherwise it may lead to worse executing efficiency and even corrupt the program.This paper analyzes exception representation in C program and gives the classification of exception holes,in terms of which exception safety rules are constructed,and presents an approach of interprocedural bottom-up communicating of info and intraprocedural syntax-directed translation,which accomplishes statically detecting of C exception safety.