Le séminaire du LSV

Le séminaire du LSV a lieu le mardi à 11h00. Le lieu habituel est la salle de conférences au Pavillon des Jardins (plan d'accès). Pour être informé par email des prochains séminaires, contacter Stéphane Le Roux and Matthias Fuegger.

Le séminaire du LSV est public et ne nécessite aucune inscription préalable.

Séminaires passés

WYSINWYX: What You See Is Not What You eXecute

Visiter le site web pour cet événement | Exporter cet événement au format iCalendar

Le mardi 19 février 2008 à 11:00
Salle Condorcet (Bâtiment d'Alembert)
Thomas Reps (University of Wisconsin and GrammaTech, Inc. USA)

What You See Is Not What You eXecute: computers do not execute source-code programs; they execute machine-code programs that are generated from source code. Not only can the WYSINWYX phenomenon create a mismatch between what a programmer intends and what is actually executed by the processor, it can cause analyses that are performed on source code -- which is the approach followed by most security-analysis tools -- to fail to detect bugs and security vulnerabilities. To address the WYSINWYX problem, we have developed algorithms to recover information from stripped executables about the memory-access operations that the program performs. These algorithms are used in the CodeSurfer/x86 tool to construct intermediate representations that are used for browsing, inspecting, and analyzing stripped x86 executables. Recently, this infrastructure has been used to create a tool for looking for bugs in stripped device-driver executables.

Joint work with G. Balakrishnan (UW), J. Lim (UW), and T. Teitelbaum (Cornell and GrammaTech, Inc.).

À propos du LSV

Agenda des séminaires

Exporter l'agenda au format iCalendar | Les séminaires précédents

mar. 19 février

Les séminaires précédents