###
DOI:
Journal of Software:2007.18(4):832-841

一种基于异常传播分析的依赖性分析方法
姜淑娟,徐宝文,史亮,周晓宇
(东南大学,计算机科学与工程学院,江苏,南京,210096;江苏省软件质量研究所,江苏,南京,210096;中国矿业大学,计算机科学与技术学院,江苏,徐州,221008)
An Approach to Analyzing Dependence Based on Exception Propagation Analysis
JIANG Shu-Juan,XU Bao-Wen,SHI Liang,ZHOU Xiao-Yu
()
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 2993   Download 3372
Received:December 21, 2005    Revised:August 16, 2006
> 中文摘要: 在分析异常处理结构对程序依赖性分析影响的基础上,对传统的控制流图进行改进,提出了一种新的能够描述包括异常处理结构在内的函数内和函数间的C++程序的依赖性分析模型,并给出了相应的构造算法.该方法既克服了因忽略异常处理结构对程序依赖性的影响而造成分析结果不准确的不足,又有助于实现基于异常传播的程序依赖性分析的自动处理.最后,对这种依赖性分析方法在程序切片中的应用作了进一步的探讨.
Abstract:Based on analyzing the effects of exception handling constructs on dependence analysis, this paper proposes a precise and efficient representation for C++ programs with exception handling constructs—improved control flow graph. It proposes a new approach to analyzing the data dependences and control dependences of intra-function and inter-function in C++ programs with exception handling constructs, and an efficient algorithm is also presented. This method overcomes the limitations of the previous incorrect analysis because of failing to account for the effects of exception handling constructs, and also provides a basis for automatic dependence analysis that contains exception propagation. Finally, it discusses the application of the dependence analysis method in program slicing.
文章编号:     中图分类号:    文献标志码:
基金项目:Supported by the National Natural Science Foundation of China under Grant No.60373066 (国家自然科学基金); the National Science Foundation for Distinguished Young Scholars of China under Grant No.60425206 (国家杰出青年科学基金); the National Grand Fundamental Research 973 Program of China under Grant No.2002CB312000 (国家重点基础研究发展规划(973)); the Program for Cross-Century Outstanding Teachers of the Ministry of Education of China (国家教育部跨世纪优秀人才基金); the High Technology Research Project of Jiangsu Province of China under Grant No.BG2005032 (江苏省高技术研究项目); the Natural Science Foundation of Jiangsu Province of China under Grant No.BK2006094 (江苏省自然科学基金); the Science Research Foundation of China University of Mining and Technology under Grant No.OD4527 (中国矿业大学科学研究基金) Supported by the National Natural Science Foundation of China under Grant No.60373066 (国家自然科学基金); the National Science Foundation for Distinguished Young Scholars of China under Grant No.60425206 (国家杰出青年科学基金); the National Grand Fundamental Research 973 Program of China under Grant No.2002CB312000 (国家重点基础研究发展规划(973)); the Program for Cross-Century Outstanding Teachers of the Ministry of Education of China (国家教育部跨世纪优秀人才基金); the High Technology Research Project of Jiangsu Province of China under Grant No.BG2005032 (江苏省高技术研究项目); the Natural Science Foundation of Jiangsu Province of China under Grant No.BK2006094 (江苏省自然科学基金); the Science Research Foundation of China University of Mining and Technology under Grant No.OD4527 (中国矿业大学科学研究基金)
Foundation items:
Reference text:

姜淑娟,徐宝文,史亮,周晓宇.一种基于异常传播分析的依赖性分析方法.软件学报,2007,18(4):832-841

JIANG Shu-Juan,XU Bao-Wen,SHI Liang,ZHOU Xiao-Yu.An Approach to Analyzing Dependence Based on Exception Propagation Analysis.Journal of Software,2007,18(4):832-841