HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

At the bottom of binary analysis: instructions

Guillaume Bonfante 1 Alexandre Talon 2, 3
1 CARBONE - Carbone
LORIA - FM - Department of Formal Methods
3 G-SCOP_OC - Optimisation Combinatoire
G-SCOP - Laboratoire des sciences pour la conception, l'optimisation et la production
Abstract : 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.
Document type :
Conference papers
Complete list of metadata

Contributor : Guillaume Bonfante Connect in order to contact the contributor
Submitted on : Friday, February 4, 2022 - 11:17:39 AM
Last modification on : Wednesday, February 9, 2022 - 3:45:39 AM
Long-term archiving on: : Thursday, May 5, 2022 - 6:59:16 PM


Files produced by the author(s)


  • HAL Id : hal-03557004, version 1


Guillaume Bonfante, Alexandre Talon. At the bottom of binary analysis: instructions. 14th International Symposium on Foundations & Practice of Security, Dec 2021, Paris, France. ⟨hal-03557004⟩



Record views


Files downloads