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

Chapitre 1 - Introduction
Le monitoring d exécutions est une analyse dynamique de programmes non interactive.
Le profileur est un moniteur permettant d avoir des informations relatives au temps
d exécution des différents composants du programme.
Il existe principalement deux classes d'analyses : les analyses dynamiques et les analyses statiques.
L'analyse dynamique déduit des propriétés d'un programme à partir d'une trace d'exécution
particulière. D un point de vue pratique l analyse dynamique s avère d une plus grande aide aux
développeurs. Elle permet de fournir les valeurs des données manipulées lors de l exécution du
programme ainsi que l enchaînement des étapes d exécution des diverses instructions appelées. Il
faut également noter que la précision des informations fournies avec ce type d analyse entraîne la
génération d une masse de données, ce qui relève les questions de représentation graphique et
éventuellement dans certains cas de stockage.
Contrairement à cette analyse dynamique, l analyse statique se contente de lire le programme en
prenant en compte toutes les possibilités d exécutions. Ainsi, l'analyse statique permet d'établir
des propriétés satisfaites par un programme pour toutes ses exécutions et s avère utile pour
comprendre toutes les possibilités d un programme et pour en voir les limites. L'information
recherchée est en général incalculable ou d'une complexité importante, ce qui implique le fait que
l analyse statique ne peut calculer qu'une approximation de la solution idéale.
En conséquence, les résultats de l'analyse statique sont moins précis mais plus généraux que ceux
fournis par une analyse dynamique. C est pour cette raison que des outils basés sur une analyse
dynamique, tels que les moniteurs, les profileurs et les débuggeurs sont nécessaires pour
maintenir ou même développer un programme.
1.2. Objectifs du projet d analyse dynamique de
programmes C
1.2.1. Créer un outil d analyse de programmes C fiable et
évolutif
Un prototype d outil d analyse dynamique de programme, DDFgraph, a déjà été développé par
l équipe de recherche du laboratoire d Intelligence Artificielle de l université de Vincennes (paris 8)
par Françoise Balmas et Harald Wertz, pour le langage Lisp [BAL 05]. Le langage Lisp étant un
langage interprété, il y a donc la possibilité de modifier l interprète Lisp afin d en extraire des
informations sur l exécution du programme. Ces informations sont par la suite exploitées pour
générer le graphe de dépendances des différentes interactions entre variables, pointeurs ou encore
fonctions du programme source. L objectif du présent projet consiste à reproduire le même
schéma d analyse de DDFgraph, mais en l adaptant au langage C qui est un langage compilé
contrairement au Lisp.
10