At the bottom of binary analysis - Université de Lorraine Accéder directement au contenu
Communication Dans Un Congrès Année : 2021

At the bottom of binary analysis

Guillaume Bonfante
  • Fonction : Auteur
  • PersonId : 864819

Résumé

Here we present a careful exploration of the set of instructions for the x86 processor architecture. This is a preliminary step towards a systematic comparison of SMT-based retro-engineering tools. The latter arose in the context of binary code retro-engineering. All these tools rely themselves on more elementary disassembly tool. In this contribution, we attack the problem at its most atomic level: the instructions. We prepare, trading off between the size of the list and the correctness of the future comparison, a good list of instructions.
Fichier principal
Vignette du fichier
short.pdf (234.2 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03557004 , version 1 (04-02-2022)

Identifiants

Citer

Guillaume Bonfante, Alexandre Talon. At the bottom of binary analysis: instructions. 14th International Symposium on Foundations & Practice of Security, Dec 2021, Paris, France. ⟨10.1007/978-3-031-08147-7_21⟩. ⟨hal-03557004⟩
92 Consultations
388 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More