dg

DG

DG是一个包含各种位置的图书馆，用于程序分析。但是，该库的主要动机是程序切片。该库包含指针分析，数据依赖分析，控制依赖分析以及对LLVM比特码中价值之间关系的分析。所有分析的目标LLVM比特码，但大多数都是以通用方式编写的，因此它们不依赖LLVM。

此外，DG包含依赖图的实现和LLVM比特码的静态程序切片器。一些文档可以在DOC/目录中找到。

• 下载DG
• 编译DG
• 使用llvm-stlicer
• 其他工具

---

您可以在DG中找到DG的高级描述：程序分析库或DG：LLVM比特代码纸的分析和切片。有关DG的更多详细信息在DOC/文件夹或我的主论文中。

您可以将带有问题的电子邮件编写至[email protected]（或Github中的文件问题）。