程序依赖图(Program Dependency Graph)-(PDG)

1.定义

百度百科:

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

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

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

2.拓展

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

参考:

  1. 程序依赖图_百度百科
  2. 程序依赖图(Program Dependence Graph)理解_manok的专栏-CSDN博客_程序依赖图

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

——《樱桃小丸子》

文章知识点与官方知识档案匹配,可进一步学习相关知识MySQL入门技能树数据库组成31269 人正在系统学习中

声明:本站部分文章及图片源自用户投稿,如本站任何资料有侵权请您尽早请联系jinwei@zod.com.cn进行处理,非常感谢!

上一篇 2021年3月17日
下一篇 2021年3月18日

相关推荐