dg

DG

DG是一個包含各種位置的圖書館，用於程序分析。但是，該庫的主要動機是程序切片。該庫包含指針分析，數據依賴分析，控制依賴分析以及對LLVM比特碼中價值之間關係的分析。所有分析的目標LLVM比特碼，但大多數都是以通用方式編寫的，因此它們不依賴LLVM。

此外，DG包含依賴圖的實現和LLVM比特碼的靜態程序切片器。一些文檔可以在DOC/目錄中找到。

• 下載DG
• 編譯DG
• 使用llvm-stlicer
• 其他工具

---

您可以在DG中找到DG的高級描述：程序分析庫或DG：LLVM比特代碼紙的分析和切片。有關DG的更多詳細信息在DOC/文件夾或我的主論文中。

您可以將帶有問題的電子郵件編寫至[email protected]（或Github中的文件問題）。