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

Chapitre 8 - Conclusion et perspectives
8.1. Limites de notre outil d analyse dynamique de
programmes C
Notre outil, comme nous l avons vu tout au long de ce mémoire, présente des limites de
différents ordres. En effet, notre outil, puisque basé sur les informations extraites par l interprète
EiC nous limite pour les capacités de ce dernier. Comme nous l avons montré au chapitre 3, EiC
est le seul interprète du domaine public qui soit actuellement capable de prendre en charge
l ensemble des spécificités du langage C, mis-à-part la librairie standard du C . De plus,
l outil EiC n étant plus développé depuis 2000, sa documentation n étant de plus pas finie, nous
devons en comprendre le fonctionnement par nos propres tests et analyses.
Mis à part ces légères limites dues à l interprète utilisé, nous avons relevé d autres limites. Nous
en énumérons les plus importantes ci-dessous :
Notre outil ne prend pas en charge toutes les sépcificités du langage C, il n est donc pas
encore capable d analyser des instructions switch, les structures, les unions, les pointeurs,
ou encore les fonctions récursives.
Notre numérotation des lignes d instructions n est pas encore au point pour gérer les cas
complexes d instructions.
Notre base de données ne contient pas encore toutes les informations pour pouvoir
établir des liens spécifiques entre les données, tels que les liens entre les variables locales
et la fonction dans lesquels elles sont définies. Seule la première variable est reliée à la
fonction actuellement.
La représentation graphique des dépendances entre données ne représente pas toutes les
règles de dépendances entres les données d un programme C. L affichage des appels de
fonctions et des tableaux n est pas encore bien géré.
Nous présentons dans la section 8.3.1 les améliorations possibles pour le premier point, les
améliorations concernant les second et troisième points sont abordées à la section 8.2.2 et enfin,
le troisième point est traité dans la section 8.2.3.
8.2. Améliorations possibles
Dans cette section nous voyons quelles améliorations peuvent être apportées à notre outil, dans
les prochains travaux ainsi que les améliorations pouvant rendre notre outil à terme plus complet.
8.2.1. Prise en charge des spécificités du langage C
Pour que notre outil puisse analyser tout programme C, nous devons étendre ses capacités de
gestion des autres caractéristiques du langage C. Les extensions les plus simples à faire dans un
premier temps consistent à reproduire le modèle de génération de lignes de base de données au
format Def et Use pour les variables entières, pour les autres types. Pour cela, il suffit d ajouter
77