| 非原子性异常处理的静态分析 |
| |
| 引用本文： | 余建军.非原子性异常处理的静态分析[J].计算机应用与软件,2006,23(5):35-37,40. |
| |
| 作者姓名： | 余建军 |
| |
| 作者单位： | 衢州学院(筹)信电系,浙江,衢州,324006 |
| |
| 摘 要： | 异常处理机制是程序设计语言的重要特征之一，它为开发可靠性系统提供了强有力的支持。但异常处理代码必须仔细编写，否则可能破坏程序的一致性。提出了基于扩展的程序依赖图，通过静态分析来发现程序中异常非原子性代码的方法，同时给出了自动的部分屏蔽异常非原子性代码的方法。
|
| 关 键 词： | 异常处理非原子性 扩展的程序依赖图 异常 别名 |
| 收稿时间： | 2005-01-04 |
| 修稿时间： | 2005-01-04 |
STATIC ANALYSIS OF NON_ATOMIC EXCEPTION HANDLING |
| |
| Yu Jianjun.STATIC ANALYSIS OF NON_ATOMIC EXCEPTION HANDLING[J].Computer Applications and Software,2006,23(5):35-37,40. |
| |
| Authors: | Yu Jianjun |
| |
| Abstract: | Exception is one of the important features of modern programming languages.It offers a strong support for reliable software system development.However,exception handling codes must be written carefully to preserve the consistency of the application.This paper prompts a new static analysis method,which is based on Extended program dependence graph.This method can detect the Non_Atomic Exception Handling(NAEH)codes in programs.Also this paper gives a new method to revise some of these codes automatically. |
| |
| Keywords: | Non-atomic exception handling Extended program dependence graph Exception Alias |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
