Rétro-ingénierie de programmes binaires en une exécution - une analyse dynamique légère basée au niveau des fonctions

par Franck De Goer De Herve

Projet de thèse en Informatique

Sous la direction de Roland Groz.

Thèses en préparation à Grenoble Alpes , dans le cadre de École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) , en partenariat avec Laboratoire d'Informatique de Grenoble (laboratoire) et de VASCO - Validation de logiciels à base de modèles (ancien LSR) (equipe de recherche) depuis le 01-10-2014 .


  • Résumé

    L'analyse de programmes binaires, sans disposer d'information de haut niveau (code source, informations de débogue, etc.) peut s'avérer difficile, et nécessite aujourd'hui une analyse manuelle souvent fastidieuse. Cette analyse a souvent pour but de déterminer si un programme est malveillant ou non. L'objectif de ces travaux de recherche est d'automatiser de manière légère la récupération d'informations pertinentes relatives au comportement d'un programme binaire en instrumentant ses exécutions.

  • Titre traduit

    Reverse-engineering of binaries in a single execution - a lightweight function-grained dynamic analysis


  • Résumé

    Analysing binary programs, without high-level information (such as source code or debugging information) can be a tremendous task, and still requires a manual analysis which is often time-consuming. Usually, the aim of these analysis is to determine whether a given program is malicious or not. The purpose of this work is to propose an automated and lightweight approach to retrieve relevant information relatively to the program behavior, by instrumenting its executions.