Evènement pour le groupe Modélisation et Verification


Date 2014-02-13  11:00-12:00
TitreBinary Analysis: Theory and Practice 
RésuméSince now, program analysis was performed only on mathematical models of the program or high-level source code. We aim at performing an analysis only based on the binary form of the program and, if possible deduce useful properties of the program (either for software verification or reverse-engineering purposes). In this talk, we will define and present the main problems encountered when dealing with the binary format of programs. 
Lieu205, bât A29 
OrateurEmmanuel Fleury 
Emailemmanuel.fleury@labri.fr 
UrlLaBRI 



Aucun document lié à cet événement.

Retour
Retour à l'index