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

Analyse dynamique de programmes C
Chapitre 8 - Conclusion et perspectives
Pour conclure, nous résumons dans un premier temps ce qui a été vu tout au long de ce
mémoire, puis nous présentons les perspectives pour notre projet d analyse dynamique de
données, avec toutes les améliorations pouvant à terme faire que cet outil soit une réelle aide pour
les développeurs du langage C.
Nous avons présenté dans les premiers chapitres l intérêt de ce projet, à savoir permettre aux
programmeurs de connaître la trace des programmes C qu ils développent ou qui ont été
développés par un tiers et dont la taille en lignes de codes est trop importante pour en
comprendre aisément le fonctionnement. Ainsi, exploiter le programme source pendant son
exécution pour en générer une représentation graphique des dépendances des données qui y sont
manipulées, permet d apporter des informations précises sur le comportement du programme.
Ceci peut également aider le programmeur à détecter des disfonctionnements dans le
déroulement de son exécution, notamment lorsque le programme se comporte de manière
différente de celle recherchée par son concepteur tout en donnant un résultat correct. La
représentation graphique des dépendances entre les données d un programme peut également
aider les développeurs dans leur travail d optimisation de code.
Pour réaliser notre programme d analyse dynamique de programmes C, nous nous sommes basés
sur le prototype DDFgraph qui génère des graphes dynamiques de dépendances pour des
programmes Lisp et qui a été réalisé en modifiant un interprète Lisp. Modifie un compilateur C
représentant un travail considérable, difficile à envisager dans le cadre de ce projet. Nous avons
alors cherché un interprète du langage C dont la modification était plus abordable. Puis nous
avons testé les différents interprètes C existant dans le domaine public, EiC qui s est alors avéré le
plus conforme à nos attentes.
Nous avons alors entrepris d en comprendre le fonctionnement, pour ensuite modifier son
option de trace afin qu elle génère plus d informations que dans sa version initiale. Nous avons
alors pu obtenir grâce à cette technique des informations telles que les dépendances entre
variables entières, les appels de fonctions, les conditions et les boucles. Nous avons enregistré ces
informations dans une base de données que nous avons ensuite exploitée à l aide d un script awk.
Puis nous avons utilisé certaines fonctionnalités de l outil Dot pour obtenir un affichage
graphique des dépendances entres les données, avec une échelle d enchaînement des instruction
et quelques règles d affichage. Nous avons également automatisé la génération de base de donnée
ainsi que du graphe grâce à un script Shell.
Notre technique d extraction dynamique de données basée sur l interprète EiC, présente des
avantages tels qu une possibilité de gestion de l ensemble du langage C, et la possibilité de
portabilité de notre outil sur un bon nombre de systèmes. De plus, l automatisation de la
génération des graphes, avec le script Shell, rend notre outil simple d utilisation. La représentation
graphique suivant une échelle d exécution des instructions, permet au développeur de tracer
visuellement son code source de manière très précise.
Bien que notre outil soit fonctionnel pour des cas simples de programmes C, il présente des
limites que nous voyons en section 8.1. Nous voyons également à la section 8.2 quelques
améliorations possibles à notre outil, puis nous concluons en présentant les perspectives pour ce
projet.
76