非原子性异常处理的静态分析

作者：余建军

来源：计算机应用与软件, 2006, (05): 35-37+40.

• 异常处理非原子性
• 扩展的程序依赖图
• 异常
• 别名 Non-atomic exception handling Extended program dependence graph Exception Alias

异常处理机制是程序设计语言的重要特征之一,它为开发可靠性系统提供了强有力的支持。但异常处理代码必须仔细编写,否则可能破坏程序的一致性。提出了基于扩展的程序依赖图,通过静态分析来发现程序中异常非原子性代码的方法,同时给出了自动的部分屏蔽异常非原子性代码的方法。

• 单位
  衢州学院