Ensimag Amphi H
20 octobre 2017 - 10h15
Rétro-ingénierie de programmes binaires en une exécution - une analyse dynamique légère basée au niveau des fonctions (Phd Defense)
par Franck De Goer de LIG/VASCO et VERIMAG/PACSS
Résumé : Dans cette thèse, nous proposons une nouvelle approche d’analyse dynamique de programmes binaires. Ce travail se place dans un contexte de rétro-conception de binaires avec des motivations liées à la sécurité : compréhension de logiciels malveillants, détection de vulnérabilités, etc. Concrètement, nous nous intéressons à retrouver des informations de haut niveau à partir d’un binaire en une seule exécution : les prototypes de fonctions, une nouvelle notion que nous nommons « couplage », et les allocateurs mémoire. L’approche proposée est basée sur des heuristiques afin d’analyser rapidement de larges programmes, et les résultats expérimentaux montrent qu’une telle approche permet d’obtenir des résultats précis.
Les trois objectifs principaux de notre approche sont : 1) l’universalité - les hypothèses sur le programme à analyser sont le plus faibles possibles (pas de recompilation nécessaire, pas de source, applicable à des programmes strippés), 2) le passage à l’échelle - l’analyse se veut suffisamment légère pour pouvoir analyser de gros programmes, 3) la précision orientée correction - dans les résultats produits, on cherche à minimiser les faux-positifs (par exemple, détecter des paramètres de fonction qui n’existent pas).
Composition du Jury
Roland Groz
Professeur, Grenoble INP, Directeur de these
Laurent Mounier
Maître de conférences, Université Grenoble Alpes, CoDirecteur de these
Kavé Salamatian
Professeur des universités, Université de Savoie, Examinateur
Valérie Viet Triem Tong
Professeur associé, Centrale Supelec, Rapporteur
Jacques Klein
Senior Research scientist, Université du Luxembourg , Rapporteur
Andy King
Professeur, University of Kent, Examinateur
Sarah Zennou
Ingénieur de recherche, Airbus Group, Examinateur
Marion Videau
Maître de conférences, LORIA, Examinateur
