Watch U - La webTV de l'UDA ! https://webtv.u-clermont1.fr Toutes les dernières vidéos de l'Université d'Auvergne. Toutes les dernières vidéos de l'Université d'Auvergne. Sat, 25 Mar 2017 00:00:00 +0100 2017 <![CDATA[Séminaire confiance numérique (Emmanuel Fleury, Labri)]]> https://webtv.u-clermont1.fr/media-MEDIA160517112629070

Control-Flow Recovery through Binary Code Analysis

Binary code analysis is required when you only have access to program's binary code, or when you do not trust the compile chain that you use. In the last two decades, this field has made big progress but, still, it remains confidential and most of the people will just consider it as classical program analysis. In fact, binary analysis induces a lot of practical and theoritical problems which are specific to binary code analysis.


I will present the context of binary analysis and develop the specific problems that are linked to this topic (dynamic jumps, loop unwinding, self-modifying code, ...). Then, I will introduce our intermediate representation (microcode) and explain our main algorithm to rebuild the control flow of a binary program.

]]>
Tue, 17 May 2016 11:05:00 +0200