CCIS Seminar - Thursday 13 June 2013 - salle A. Turing CE4
11:00:00 - Salle de salle A. Turing CE4

Emmanuel Fleury, LABRI

Binary Analysis: Theory and Practice

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.


Home page CCIS Seminars
How to come to salle A. Turing CE4 - http://www-verimag.imag.fr/Plan-d-acces.html?lang=fr