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

• 作者: 冯晓宁 孟宇龙 徐东 狄效国
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 语义分析 控制流图 系统依赖图 程序切片 程序依赖 数据依赖
• 年，卷（期）: 2015,（12）
• 所属期刊栏目: 体系结构与软件技术
• 页码范围: 91-95,100
• 页数: 6页
• 分类号: TP311
• 字数: 5047字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2015.12.018

摘要

已有软件语义分析方法普遍存在时间复杂度高、准确率低的问题.为此,基于抽象语法树,提出一种根据控制依赖图构建程序控制流图的算法,并在对依赖图进行等价代换的基础上简化该算法.通过对目标程序进行等价代换,并使用程序依赖图替换程序系统依赖图,改进传统系统依赖图的构建流程.实验结果表明,该算法可有效降低构建系统依赖图的复杂度,并能提高程序切片的速率.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	徐东	哈尔滨工程大学计算机科学与技术学院	20	105	7.0	9.0
2	冯晓宁	哈尔滨工程大学计算机科学与技术学院	19	112	5.0	9.0
3	孟宇龙	哈尔滨工程大学计算机科学与技术学院	14	33	3.0	5.0
4	狄效国	哈尔滨工程大学计算机科学与技术学院	1	1	1.0	1.0