pd壹执慵驾g是程序依赖图,全称为ProgramDependenceGraph。
程序依赖图(ProgramDependenceGraph)是程序的一种图形表示,它是带有标记的有向多重图。程序依赖图能够表示程序的控制依赖和数据依赖关系。
移动通信解释:
PDG(PacketDataGateway):分组数据网关。
承担分组域的移动性管理、安全性和接入控制功能,在移动台和GGSN之间完成移动分组数据的发送和接收。
其他外语解释:
法语中的PDG是指“有限责任公司中的董事长”的意思,法语写作:Président-DirecteurGénéral。
程序依赖图的特点及作用:
程序依赖图是带有标记的有向多重图。系统程序依赖图是软件程序间控制依赖关系和数据依赖关系的图形表示。面向方面的程序是基于面向方面的思想,使用相关的框架或语言工具,实现系统中横切关注点的清晰模块化的程序。
系统依赖图是分析和理解程序的基础工具之一,其在面向对象的程序上的研究渐趋成熟,而在面向方面的程序上的研究才刚刚开始。
处理方法是以程序的控制流图为基础,去掉CFG的控制流边,加入数据和控制流边。包括了数据依赖图和程序依赖图。数据依赖图定义了数据之间的约束关系,控制依赖图定义了语句执行情况的约束关系。程序依赖图是一个有向图。
在建立在SAST技术上的静态分析技术,将程序依赖图算法应用于动态切片,从而达到缩小程序分析范围的目的。