L'actualité de la formation

Accueil de chercheurs sur les projets soutenus

La fondation propose l'accueil de chercheurs et scientifiques de haut niveau, internationalement reconnus pour des séjours de quelques mois ou plus, ainsi que des post-doctorants pour de plus longs séjours...

en savoir plus

Bourse Amelia Earhart

La fondation STAE est partenaire dans l'attribution des bourses "Zonta Amelia Earhart Fellowship"

en savoir plus
Conférence Torrents
Le 31 janvier 2013, Conférence.
Le chantier d'animation scientifique TORRENTS, soutenu par la FCS STAE, organise une conférence le

Lundi 11 mars 2013, de 10H00 à 11H30
à l'ONERA (salle du Boulon), 2 avenue Edouard Belin, Toulouse

Le framework d'analyse de code binaire Insight
Présenté par Aymeric Vincent (Labri)

Dans cet exposé, nous présenterons l'état actuel du projet Insight développé au LaBRI, qui a pour but d'analyser du code binaire.

L'analyse de code binaire est rendue difficile notamment par le fait que le graphe de flot de contrôle n'est pas disponible explicitement, et que les types des variables ne sont pas spécifiés. Il faut ajouter à cela la difficulté technique de décoder les mnémoniques de processeurs existants comme les processeurs Intel 32 bits.

Le modèle formel utilisé dans Insight sera présenté, et une application à la reconstruction d'un graphe de flot de contrôle sera détaillée. Les directions futures seront discutées.


Contact
En savoir plus

Retour

 

Rechercher sur ce site

118 route de Narbonne - CS 84504 - 31054 TOULOUSE Cedex 4 Tél. : 05 61 28 02 80 et 81 - Fax : 05 61 02 80 90