一种基于异常传播分析的依赖性分析方法 - semantic scholar.pdfVIP

ISSN 1000-9825, CODEN RUXUEW E-mail: jos@ Journal of Software, Vol.18, No.4, April 2007, pp.832−841 http://www.j DOI: 10. 1360/jos1 80832 Tel/Fax : +86-10 © 2007 by Journal of Software. All rights reserved. ∗ 一种基于异常传播分析的依赖性分析方法 1,2,3+ 1,2 1,2 1,2 姜淑娟 , 徐宝文 , 史 亮 , 周晓宇 1(东南大学 计算机科学与工程学院,江苏 南京 210096) 2(江苏省软件质量研究所,江苏 南京 210096) 3( 中国矿业大学 计算机科学与技术学院,江苏 徐州 221008) An Approach to Analyzing Dependence Based on Exception Propagation Analysis JIANG Shu-Juan1,2,3+, XU Bao-Wen 1,2, SHI Liang1,2, ZHOU Xiao-Yu 1,2 1(School of Computer Science and Engineering, Southeast University, Nanjing 210096, China) 2(Jiangsu Institute of Software Quality, Nanjing 210096, China) 3(School of Computer Science and Technology, China University of Mining and Technology, Xuzhou 221008, China) + Corresponding author: Phn: +86-516 E-mail: shjjiang@ Jiang SJ, Xu BW, Shi L, Zhou XY. An approach to analyzing dependence based on exception propagation analysis. Journal of Software, 2007,18(4):832−841. /1000-9825/18/832.htm 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 overc