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.
https://hal.univ-lorraine.fr/hal-03557004 Contributor : Guillaume BonfanteConnect 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
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⟩