Evènement pour le groupe Modélisation et Verification

Date 2013-04-04  11:30-12:30
TitreThe Insight binary analysis framework 
RésuméIn this talk, we will present the current status of the Insight project which is aimed at analysing binary code. Binary code analysis is challenging because of the inherent difficulties of analysing code where the control flow graph is not explicitly given, where datatypes are not available, compounded with the technical challenge of decoding mnemonics of real processors as complex as the Intel 32-bit architecture. The formal model used in Insight will be presented, and an application to CFG recovery will be detailed. Further work will be discussed. 
OrateurAymeric Vincent 

Aucun document lié à cet événement.

Retour à l'index