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