Ce projet est un dépôt de code source pour le cours de compilation de l'ESISAR. Il contient des énoncés de travaux pratiques et des fichiers d'accompagnement pour les étudiants. Les TP couvrent des sujets tels que l'analyse de code source, la génération de code intermédiaire et la génération de code machine.

Dx est un outil en cours de développement permettant de dériver du code C à partir d'un code Gallina monadique, en passant par une représentation intermédiaire. Il fournit des commandes Coq pour générer automatiquement la représentation intermédiaire et des fonctions pour transformer cette représentation en modules dx contenant un arbre syntaxique abstrait pour C.

Miasm est un framework libre et open source de reverse engineering permettant d'analyser, modifier et générer des programmes binaires. Il dispose de fonctionnalités telles que l'assemblage et le désassemblage de code, la représentation de l'assemblage sous forme d'un langage intermédiaire, l'émulation de code grâce à JIT, la simplification d'expressions pour la déobfuscation automatique, etc.

Skel2AM est un outil de traduction sémantique qui convertit des schémas squelettiques en machines abstraites. Il permet de générer du code intermédiaire pour la compilation et de simplifier l'exécution d'un programme abstrait.