dg

Текущий

DG - это библиотека, содержащая различные биты для анализа программы. Тем не менее, основной мотивацией этой библиотеки является нарезка программы. Библиотека содержит реализацию анализа указателя, анализ зависимости данных, анализ зависимости управления и анализ отношений между значениями в биткоде LLVM. Все анализы нацелены на биткод LLVM, но большинство из них написаны общим образом, поэтому они не зависят от LLVM, в частности.

Кроме того, DG содержит реализацию графиков зависимости и статическую программу Slicer для биткода LLVM. Некоторая документация можно найти в DOC/ Directory.

• Загрузка DG
• Компиляция DG
• Использование LLVM-Slicer
• Другие инструменты

---

Вы можете найти высокое описание DG в DG: библиотека анализа программы или DG: анализ и нарезка бумаги LLVM BitCode. Более подробная информация о DG находится в Doc/ Polder или в моей мастер -диссертации.

Вы можете написать электронные письма с проблемами [email protected] (или File Opper in Github).