dg

dg

DGは、プログラム分析用のさまざまなビットを含むライブラリです。ただし、このライブラリの主な動機はプログラムスライスです。ライブラリには、ポインター分析の実装、データ依存分析、制御依存分析、およびLLVMビットコードの値間の関係の分析が含まれています。すべての分析はLLVMビットコードをターゲットにしていますが、それらのほとんどは一般的な方法で書かれているため、特にLLVMに依存していません。

さらに、DGには、依存グラフの実装とLLVMビットコードの静的プログラムスライサーが含まれています。いくつかのドキュメントは、ドキュメント/ディレクトリにあります。

• DGのダウンロード
• DGのコンパイル
• LLVM-Slicerを使用します
• 他のツール

---

DGでDGの高レベルの説明を見つけることができます：プログラム分析ライブラリまたはDG：LLVMビットコードペーパーの分析とスライス。 DGに関する詳細情報は、Doc/ FolderまたはMaster論文にあります。

問題のある電子メールを[email protected]（またはgithubのファイルの問題）に書くことができます。