程序依赖图(Program Dependency Graph)

Posted 国名老公阿航

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了程序依赖图(Program Dependency Graph)相关的知识,希望对你有一定的参考价值。

 

1.定义

 

百度百科:

 

程序依赖图(Program Dependence Graph)是程序的一种图形表示,它是带有标记的有向多重图。程序依赖图能够表示程序的控制依赖和数据依赖关系。程序依赖图(Program Dependence Graph)是关于源代码的一种图模型。源代码的图模型包括流程图(Control Flow Graph)、控制依赖图(Control Dependence Graph)、数据流程图(dataDependence Graph)、程序依赖图(Program Dependency Graph)。

 

程序依赖图(Program Dependence Graph)是程序的一种图形表示,它是带有标记的有向多重图。系统程序依赖图是软件程序间控制依赖关系和数据依赖关系的图形表示。面向方面的程序是基于面向方面的思想,使用相关的框架或语言工具,实现系统中横切关注点的清晰模块化的程序。系统依赖图是分析和理解程序的基础工具之一,其在面向对象的程序上的研究渐趋成熟,而在面向方面的程序上的研究才刚刚开始。

 

处理方法是以程序的控制流图为基础,去掉CFG的控制流边,加入数据和控制流边。包括了数据依赖图和程序依赖图。数据依赖图定义了数据之间的约束关系,控制依赖图定义了语句执行情况的约束关系。程序依赖图是一个有向图。

 

在建立在SAST技术上的静态分析技术,将程序依赖图算法应用于动态切片,从而达到缩小程序分析范围的目的。

 

2.拓展

 

代码属性图:一种综合了抽象语法树(AST),控制流图(CFG),和程序依赖图(PDG)的联合数据结构,包含了代码的控制依赖,数据依赖以及语法结构等语义信息,是目前语义信息最为全面的抽象图结构之一。

如果觉得此篇文章对你有帮助,关注我的公众号【人人皆是程序员】就是对我最大的鼓励与认可!

参考:

 

  1. https://baike.baidu.com/item/%E7%A8%8B%E5%BA%8F%E4%BE%9D%E8%B5%96%E5%9B%BE/22341209?fr=aladdin
  2. https://blog.csdn.net/manok/article/details/90609876

 

心满意足享受每一点快乐,是走向幸福的唯一途径。

——《樱桃小丸子》

以上是关于程序依赖图(Program Dependency Graph)的主要内容,如果未能解决你的问题,请参考以下文章

使用-MM生成include指令和依赖生成(make include directive and dependency generation with -MM)

webpack学习之—— 依赖图(Dependency Graph) 及 构建目标(Targets)

指令级别的调用(依赖)图

类图和对象图教程-类(Class)接口(Interface)协作(collaboration)依赖关系(Dependency)泛化关系(Generalization)关联关系(Associa

类图和对象图教程-类(Class)接口(Interface)协作(collaboration)依赖关系(Dependency)泛化关系(Generalization)关联关系(Associa

UML类图符号 各种关系说明以及举例