Français Anglais
Accueil Annuaire Plan du site
Accueil > Evenements > Séminaires
Séminaire du LRI
Doctoral Seminar : Introduction to dynamic binary analysis by symbolic execution
Robin David

24 March 2015, 10h30 - 24 March 2015, 11h00
Salle/Bat : 435/PCRI-N
Contact : robin.david@cea.fr

Activités de recherche : Compilation et optimisation des programmes

Résumé :
This short talk will give a quick overview of the binary analysis state of the art, how it differs from source analysis, what the purpose is and in which context it can be useful. It will focus on symbolic execution made on a "semantic preserving" intermediate represention of machine code instructions generated from an execution trace of a program. It will be shown how this kind of analysis can be performed both, on malicious or genuine programs and how it can help the analyst to better understand the program behavior or some of its properties.

Pour en savoir plus :
Séminaires
Programming computing media
Combinatoire
Friday 20 March 2020 - 14h30
Salle : 445 - PCRI-N
Frédéric Gruau .............................................

Forum dev-LRI
Wednesday 05 February 2020 - 14h00
Salle : 455 - PCRI-N
Erik Bray .............................................

Quantum at LRI
Calcul quantique
Tuesday 04 February 2020 - 09h00
Salle : 465 - PCRI-N
.............................................

Progressive Data Analysis: a new computation parad
Gestion de données du Web
Friday 24 January 2020 - 14h00
Salle : 435 - PCRI-N
Jean-Daniel Fekete .............................................

Jeux d’instructions : des extensions SIMD aux exte
Architectures parallèles
Tuesday 21 January 2020 - 10h30
Salle : 465 - PCRI-N
Daniel Etiemble .............................................