Rim Chaabane. Analyse dynamique de ... - Université Paris 8

Analyse dynamique de programmes C
Chapitre 2 - Approche de la
problématique et choix de la
solution
Le projet d analyse dynamique de programmes C pose de nombreux problèmes. En effet,
les spécificités du langage C par comparaison au Lisp 3 , nous amènent à nous demander comment
extraire de manière dynamique les données manipulées par le programme source et plus
particulièrement à quel niveau de transformation du programme cela pourrait se faire. De même,
il faut déterminer quels sont les types de données à extraire du programme afin d apporter au
développeur une analyse fiable et précise. Enfin, il faut choisir de quelle manière représenter
graphiquement l ensemble de ces informations de manière à avoir une vision claire du
déroulement d un programme.
La section 2.1 ci-dessous traite de la question de la spécificité du langage C, et présente la solution
choisie pour ce projet. La section suivante 2.2, traite quant à elle du type des données à extraire.
La dernière section 2.3, expose la manière dont les informations extraites sont représentées et la
technique mise en place pour le réaliser.
2.1. Comment extraire dynamiquement les
données d un programme source en langage
C ?
Comme nous l avons dit dans le premier chapitre, le projet d analyse dynamique de programme a
déjà été réalisé pour des programmes écrits en langage Lisp. Ce langage est un langage interprété,
c'est-à-dire que l exécution du programme se résume à un cycle de lecture des instructions, ligne
par ligne, puis de leur évaluation. Pour analyser des programmes écrits en Lisp il suffit donc de
modifier l interprète Lisp même, afin de lui permettre de générer, pendant la lecture et l exécution
des instructions, les données relatives au code à analyser.
Par contre, le langage C est un langage compilé, c'est-à-dire qu exécuter un code source C revient
à le transformer d abord en un programme exécutable (binaire). Les étapes de la compilation sont
décrites plus en détail ci-dessous.
2.1.1. Les étapes de la compilation de GCC
La transformation d un programme C en binaire se déroule en deux étapes indépendantes : le
prétraitement et la compilation proprement dite.
3
Notamment le fait qu il soit compilé plutôt qu interprété.
17