A generic approach to the definition of low-level components for multi-architecture binary analysis
Cédric Valensi · 2014
Cette these propose une methode permettant la description des jeux d'instructions des architectures binaires suivant le formalisme des grammaires. Cette approche permet de simplifier la mise en oeuvre des encodeurs et decodeurs pour les nouvelles architectures et leurs mises a jours ulterieures. Cette theorie est ensuite validee par la mise en oeuvre d'un desassembleur base sur l'analyseur syntaxique genere. Nous montrons que ce desassembleur repond aux besoins des outils d'analyse en permettant le support d'architectures multiples et en presentant les resultats sous un format unifie. Nous presentons ensuite une application des resultats du desassemblage sous forme d'un outil de reecriture binaire. Cet outil utilise un assembleur base sur l'encodeur genere depuis la representation de la grammaire et permet d'effectuer des operations de patch bas niveau sur les fichiers binaires