Actualités
  Période
semaine
ou mois
aucune période


  Thèmes:
Thèses
Colloques
Autres
Groupes
Tous les thèmes

   
  Liens:
Voir les thèses

Voir les colloques

Voir les autres événements

Voir la page des groupes

Accéder à l'intranet

Intitulé:   
The Insight binary analysis framework
du 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. 
Lieu076 
OrateurAymeric Vincent 
Emailaymeric.vincent@labri.fr 
UrlLaBRI 



Aucun document lié à cet événement.

Retour
Retour à l'index