摘要： 已有软件语义分析方法普遍存在时间复杂度高、准确率低的问题。为此,基于抽象语法树,提出一种根据控制依赖图构建程序控制流图的算法,并在对依赖图进行等价代换的基础上简化该算法。通过对目标程序进行等价代换,并使用程序依赖图替换程序系统依赖图,改进传统
系统依赖图的构建流程。实验结果表明,该算法可有效降低构建系统依赖图的复杂度,并能提高程序切片的速率。
关键词:
语义分析,
控制流图,
系统依赖图,
程序切片,
程序依赖,
数据依赖
Abstract: At present,the mainly method of software semantics analysis generally has the problem of high time complexity and inaccurate results.For the problems,a program Control Flow Graph(CFG) algorithm which is based on Control Dependency Graph (CDG) and abstract syntax tree is proposed in this paper.This algorithm uses object program equivalent substitution and procedure dependence graph to replace procedure System Dependency Graph(SDG) which breaks the building process on traditional SDG.Experimental results show that the algorithm reduces the complexity of constructional SDG effectively and increases the rate of program slicing.
Key words:
semantics analysis,
Control Flow Graph(CFG),
System Dependency Graph(SDG),
program slice,
program dependence,
data dependence
中图分类号: