10.3969/j.issn.1000-3428.2015.12.018
基于依赖图等价代换的SSDG构建算法
已有软件语义分析方法普遍存在时间复杂度高、准确率低的问题.为此,基于抽象语法树,提出一种根据控制依赖图构建程序控制流图的算法,并在对依赖图进行等价代换的基础上简化该算法.通过对目标程序进行等价代换,并使用程序依赖图替换程序系统依赖图,改进传统系统依赖图的构建流程.实验结果表明,该算法可有效降低构建系统依赖图的复杂度,并能提高程序切片的速率.
语义分析、控制流图、系统依赖图、程序切片、程序依赖、数据依赖
41
TP311(计算技术、计算机技术)
国家自然科学基金资助项目61100006,61272184;黑龙江省自然科学基金资助项目F201129
2016-02-29(万方平台首次上网日期,不代表论文的发表时间)
共6页
91-95,100