Doctoral Seminar : Introduction to dynamic binary analysis by symbolic execution
Robin David
24 March 2015, 10h30 - 24 March 2015, 11h00 Salle/Bat : 435/PCRI-N
Contact : robin.david@cea.fr
Activités de recherche : Compilation et optimisation des programmes
Résumé :
This short talk will give a quick overview of the binary analysis state of the art, how it differs from source analysis, what the purpose is and in which context it can be useful. It will focus on symbolic execution made on a "semantic preserving" intermediate represention of machine code instructions generated from an execution trace of a program. It will be shown how this kind of analysis can be performed both, on malicious or genuine programs and how it can help the analyst to better understand the program behavior or some of its properties.
