dg

Dg

DG ist eine Bibliothek mit verschiedenen Bits für die Programmanalyse. Die Hauptmotivation dieser Bibliothek ist jedoch Programmschnitte. Die Bibliothek enthält die Implementierung einer Zeigeranalyse, einer Datenabhängigkeitsanalyse, der Kontrollabhängigkeitsanalyse und einer Analyse der Beziehungen zwischen Werten im LLVM -Bitcode. Alle Analysen Target LLVM -Bitcode, die meisten von ihnen sind jedoch allgemein geschrieben, sodass sie nicht insbesondere von LLVM abhängig sind.

Darüber hinaus enthält DG eine Implementierung von Abhängigkeitsgraphen und einen statischen Programm -Slicer für LLVM -Bitcode. Eine gewisse Dokumentation finden Sie im DOC/ Verzeichnis.

• DG DG DG
• DG zusammenstellen
• Verwenden von LLVM-Slicer
• Andere Werkzeuge

---

Sie finden eine hochrangige Beschreibung von DG in DG: Eine Programmanalyse-Bibliothek oder DG: Analyse und Schneiden von LLVM-Bitcode-Papieren. Detailliertere Informationen zu DG finden Sie im DOC/ Ordner oder in meiner Masterarbeit.

Sie können E-Mails mit Problemen an [email protected] (oder Dateiproblem in GitHub) schreiben.