dg

DG

DG es una biblioteca que contiene varios bits para el análisis del programa. Sin embargo, la principal motivación de esta biblioteca es el corte del programa. La biblioteca contiene la implementación de un análisis de puntero, análisis de dependencia de datos, análisis de dependencia de control y un análisis de las relaciones entre valores en el código de bits LLVM. Todos los análisis se dirigen al código de bits LLVM, pero la mayoría de ellos están escritos de manera genérica, por lo que no dependen de LLVM en particular.

Además, DG contiene una implementación de gráficos de dependencia y una cortadora de programa estático para el código de bits LLVM. Se puede encontrar alguna documentación en el DOC/ Directorio.

• Descargando DG
• Compilación de DG
• Usando la película LLVM
• Otras herramientas

---

Puede encontrar una descripción de alto nivel de DG en DG: una biblioteca de análisis de programas o DG: análisis y corte de documentos de código de bits LLVM. La información más detallada sobre DG está en la carpeta DOC/ en mi tesis maestra.

Puede escribir correos electrónicos con problemas a [email protected] (o emisión de archivos en GitHub).