程序依赖图（Program Dependency Graph）-（PDG）

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. 程序依赖图_百度百科
2. 程序依赖图(Program Dependence Graph)理解_manok的专栏-CSDN博客_程序依赖图

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

——《樱桃小丸子》