dg
version used in my master's thesis
DG est une bibliothèque contenant divers bits pour l'analyse du programme. Cependant, la principale motivation de cette bibliothèque est le tranchage du programme. La bibliothèque contient la mise en œuvre d'une analyse de pointeur, une analyse de dépendance aux données, une analyse de dépendance au contrôle et une analyse des relations entre les valeurs dans le code binaire LLVM. Toutes les analyses ciblent Bitcode LLVM, mais la plupart d'entre elles sont écrites de manière générique, elles ne dépendent donc pas de LLVM en particulier.
En outre, DG contient une implémentation de graphiques de dépendance et une trancheuse de programme statique pour le code bit de LLVM. Certaines documents peuvent être trouvés dans le répertoire DOC /.
Vous pouvez trouver une description de haut niveau de DG dans DG: une bibliothèque d'analyse de programme ou DG: analyse et tranchage des papiers de code binaire LLVM. Des informations plus détaillées sur DG se trouvent dans le dossier DOC / ou dans ma thèse de maître.
Vous pouvez écrire des e-mails avec des problèmes à [email protected] (ou un problème de fichier dans github).
