salle A. Turing CE4
13 June 2013 - 11h00
Binary Analysis: Theory and Practice
by Emmanuel Fleury from LABRI
Abstract: Since now, program analysis was performed only on high-level
source code or mathematical models of the program. We aim at performing
an analysis based on the binary form of the program and, if possible
deduce useful properties on the program (either for software
verification or reverse-engineering purposes). In this talk, we will
present the main problems encountered when dealing with the binary
format of programs. We will, also, present one of the main problem of
binary analysis: \\\IR-reconstruction\\\ and present several methods to
perform it. Then, we will speak about our framework, Insight, intended
to implement and experiment all these methods on real cases.
Slides of the Presentation.
