DDisasm : désassembleur rapide basé sur Datalog pour l'analyse binaire et le reverse engineering
🔍 Contexte Publié sur le dépôt GitHub officiel de GrammaTech, cet article présente DDisasm (Datalog Disassembly), un outil open source de désassemblage binaire développé par GrammaTech et ayant fait l’objet de publications académiques à l’USENIX Security 2020 et à l’IEEE Symposium on Security and Privacy 2025. ⚙️ Fonctionnement technique DDisasm utilise le langage de programmation logique déclaratif Datalog (Soufflé) pour compiler des règles et heuristiques de désassemblage. Le processus se déroule en plusieurs étapes : ...