Conception d'un analyseur de binaire ARM

Nous proposons de réaliser un programme permettant l'analyse de binaires exécutables compilés pour l'architecture ARM. Plus précisément, cet analyseur permet d'extraire les informations nécessaires à la reconstruction de l'architecture du programme. Cette reconstruction architecturale comprend la détection des instructions de branchement, la récupération des fonctions utilisées par le développeur, ainsi que les liens entre ces différentes fonctions. Sous certaines conditions (énoncées dans la section 1.4), la reconstruction est fidèle à la structure du programme étudié, et notre analyseur est capable de tracer le graphe d'appel ainsi que le graphe de flot de contrôle (CFG). Bien que le but de ce projet ne soit pas de décompiler des exécutables binaires, il pose les bases pour une étude de ce genre. En effet, il permet de délimiter les fonctions et les branchements inter-procéduraux, ce qui serait une première étape dans la récupération complète du code source d'un programme. Pour le lecteur intéressé, des utilitaires de décompilation existent déjà à ce jour et sont mentionnés dans la section 2.2.