基于依赖图等价代换的SSDG构建算法.pdfVIP

第4l卷 第 l2期 计 算 机 工 程 2015年 12月 Vo1．41 NO．12 ComputerEngineering December2015 · 体系结构与软件技术 · 文章编号：1000．3428(2015)12-0091-05 文献标识码：A 中图分类号：TP311 基于依赖图等价代换的SSDG构建算法 徐 东，狄效国，孟宇龙 ，冯晓宁 (哈尔滨工程大学计算机科学与技术学院，哈尔滨 150001) 摘 要 ：已有软件语义分析方法普遍存在时间复杂度高、准确率低 的问题 。为此 ，基于抽象语法树 ，提 出一种根据 控制依赖 图构建程序控制流图的算法，并在对依赖 图进行等价代换的基础上简化该算法。通过对 目标程序进行等 价代换，并使用程序依赖图替换程序系统依赖图，改进传统系统依赖图的构建流程 。实验结果表 明，该算法可有效 降低构建系统依赖 图的复杂度，并能提高程序切片的速率。 关键词：语义分析；控制流图；系统依赖图；程序切片；程序依赖；数据依赖 中文引用格式：徐 东，狄效国，孟宇龙，等．基于依赖图等价代换的SSDG构建算法 [J]．计算机工程，2015，41(12)：91— 95，100． 英文 引用格式 ：XuDong，DiXiaoguo，MengYulong，eta1．SSDGConstructionAlgorithmBasedonDependencyGraph EquivalentSubstitution[J]．ComputerEngineering，2015，41(12)：91—95，100． SSDG ConstructionAlgorithm Based on DependencyGraphEquivalentSubstitution XU Dong，DIXiaoguo，MENG Yulong，FENG Xiaoning (CollegeofComputerScienceandTechnology，HarbinEngineeringUniversity，Harbin150001，China) 【Abstract】Atpresent，themainlymethodofsoftwaresemanticsanalysisgenerallyhastheproblem ofhightime complexityandinaccurateresults．Fortheproblems，aprogram ControlFlow Graph(CFG)algorithm whichisbasedon ControlDependencyGraph(CDG)andabstractsyntaxtreeisproposedinthispaper．Thisalgorithm usesobjectprogram equivalentsubstitutionandproceduredependencegraphtoreplaceprocedureSystem DependencyGraph(SDG)which breaksthebuildingprocesson traditionalSDG ．Experimentalresultsshow thatthe algorithm reducesthe complexity of constructionalSDG effectively andincreasestherateofprogram slicing． 【Keywords】semanticsanalysis；ControlFlow Graph(CFG)；System DependencyGraph(SDG)；program slice； program dependence；datadependence DOI：10．3969／j．issn．1000—3428．2015．12．O18 面向对象语言的封装 、抽象、继承和多态等特性 ，因 1 概述