Full-Text Search:
Home|Journal Papers|About CNKI|User Service|FAQ|Contact Us|中文
《Journal of Software》 2007-04
Add to Favorite Get Latest Update

An Approach to Analyzing Dependence Based on Exception Propagation Analysis

JIANG Shu-Juan1,2,3+, XU Bao-Wen1,2, SHI Liang1,2, ZHOU Xiao-Yu1,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)  
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.
【Fund】: SupportedbytheNationalNaturalScienceFoundationofChinaunderGrantNo.60373066(国家自然科学基金);; theNationalScienceFoundationforDistinguishedYoungScholarsofChinaunderGrantNo.60425206(国家杰出青年科学基金);; theNationalGrandFundamentalResearch973ProgramofChinaunderGrantNo.2002CB312000(国家重点基础研究发展规划(973));; theProgramforCross-CenturyOutstandingTeachersoftheMinistryofEducationofChina(国家教育部跨世纪优秀人才基金);; theHighTechnologyResearchProjectofJiangsuProvinceofChinaunderGrantNo.BG2005032(江苏省高技术研究项目);; theNaturalScienceFoundationofJiangsuProvinceofChinaunderGrantNo.BK2006094(江苏省自然科学基金);; theScienceResearchFoundationofChinaUniversityofMiningandTechnologyunderGrantNo.OD4527(中国矿业大学科学研究基金)
【CateGory Index】: TP311.11
Download(CAJ format) Download(PDF format)
CAJViewer7.0 supports all the CNKI file formats; AdobeReader only supports the PDF format.
©2006 Tsinghua Tongfang Knowledge Network Technology Co., Ltd.(Beijing)(TTKN) All rights reserved