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

摘要：

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

关键词：异常安全、安全漏洞、安全规则、静态检查

所属期刊栏目：42

分类号：TP311.5(计算技术、计算机技术)

资助基金：国家部级科研项目

在线出版日期：2006-10-23（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：89-92