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)的聯合數據結構，包含了代碼的控制依賴，數據依賴以及語法結構等語義信息，是目前語義信息最為全面的抽象圖結構之一。

參考：

程序依賴圖_百度百科

程序依賴圖(Program Dependence Graph)理解_manok的專欄-CSDN博客_程序依賴圖

心滿意足享受每一點快樂，是走向幸福的唯一途徑。

——《櫻桃小丸子》

總結

以上是生活随笔為你收集整理的程序依赖图（Program Dependency Graph）-（PDG）的全部內容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。