Vous êtes ici : UVSQ RechercheDoctoratSoutenances de thèse

«Une approche générique pour la définition de composants bas niveau d’analyse binaire multi-architecture» par Cedric Valensi

Présentée par : Cedric Valensi Discipline : informatique Laboratoire : PRISM

Résumé :
Cette thèse propose une méthode permettant la description des jeux d'instructions des architectures binaires suivant le formalisme des grammaires. Cette approche permet de simplifier la mise en œuvre des encodeurs et décodeurs pour les nouvelles architectures et leurs mises à jours ultérieures.
Cette théorie est ensuite validée par la mise en œuvre d'un désassembleur basé sur l'analyseur syntaxique généré. Nous montrons que ce désassembleur répond aux besoins des outils d'analyse en permettant le support d'architectures multiples et en présentant les résultats sous un format unifié.
Nous présentons ensuite une application des résultats du désassemblage sous forme d'un outil de réécriture binaire. Cet outil utilise un assembleur basé sur l'encodeur généré depuis la représentation de la grammaire et permet d'effectuer des opérations de patch bas niveau sur les fichiers binaires.

Abstract :
This thesis proposes a method for describing binary architectures instruction sets based on a grammar formalism. This approach allows to simplify the implementation of encoders and decoders for new architectures and their subsequent updates.
This theory is then validated with the implementation of a disassembler based on the generated parser. We show that this disassembler meets the needs of analysis tools by supporting multiple architectures and presenting its results under a unified format.
We then present an application of the results of the disassembler under the form of a binary rewriting tool. This tool uses an assembler based on the encoder generated from the grammar representation and allows to perform low-level patching operations on binary files.
Informations complémentaires
François BODIN, Professeur des Universités, à l’Université de Rennes 1/Institut de recherche en informatique et systèmes aléatoire (IRISA) - UMR 6074 - Rennes - Rapporteur
Henri-Pierre CHARLES, Chercheur, Habilité à Diriger des Recherches, au CEA de Grenoble - Laboratoire Systèmes, électroniques, Télécoms et Réseaux (LaSTRe) - Grenoble - Rapporteur
William JALBY, Professeur des Universités, à l’Université de Versailles Saint-Quentin-en-Yvelines/Laboratoire Parallélisme, Réseaux, Système, Modélisation (PRISM) - Versailles - Directeur de thèse
Denis BARTHOU, Professeur des Universités, à l’Université de Bordeaux 1/Laboratoire Bordelais de Recherche en Informatique (LaBRI) - Talence - Examinateur
Jean-Christophe BEYLER, Ingénieur de Recherche, à Intel Corporation - Santa Clara (Etats-Unis) - Invité
Contact :
dredval service FED :