At the bottom of binary analysis - Université de Lorraine Access content directly
Conference Papers Year : 2021

At the bottom of binary analysis

Guillaume Bonfante
  • Function : Author
  • PersonId : 864819


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
Origin Files produced by the author(s)

Dates and versions

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



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⟩
94 View
409 Download



Gmail Mastodon Facebook X LinkedIn More