A solution to the challenges of disassembly and binary

Séminaire Informatique Haute Performance @ Campus Teratec
Séminaire du Jeudi 11 Juin 2015, 10h, Ter@tec.
A solution to the challenges of disassembly and binary rewriting
Bonjour à tous,
Jeudi 11 Juin 2015, Cédric Valensi, Ingénieur expert au Laboratoire Exascale Computing
Research, nous présentera ces travaux sur le désassemblage et la réécriture de code binaire.
Voici le résumé de cette présentation qui aura lieu à Ter@tec à 10h.
A solution to the challenges of disassembly and binary rewriting
Performance analysis allows to identify whether applications make an optimal use of the systems on
which they are executed. Analysis at the binary level offers a better accuracy, as it allows to identify
which transformations were operated by the compiler on the source code. However, it presents
specific challenges, as binary code usually contains only the minimal information required for
executing the application. It is also not intended to be modified, while modifying an application can
be useful to gain additional information available only at runtime.
We present here the challenges associated with the disassembly of binary code into the
corresponding assembly code and our solutions in the context of the MADRAS disassembler, which is
a base component of the MAQAO analysis framework.
We will also present the challenges associated with the binary rewriting of a compiled executable,
and our solutions as implemented in the MADRAS patcher, which is used by MAQAO for
instrumenting and modifying executables.
Biographie
Cédric Valensi holds a PhD in computer science at the University of Versailles St Quentin en Yvelines.
He has been working since 2008 with the performance analysis team responsible for the
development for MAQAO. His works include the MADRAS tool, which forms the binary layer of the
MAQAO framework, and the MINJAG disassembler and assembler generator, which is used for
generating the architecture-specific code of MADRAS.