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

Chapitre 5 - Description technique du travail réalisé
Ainsi comme on peut le voir à la figure 20, créer un graphe de dépendance avec l outil Dot
nécessite d écrire au préalable les relations entre les n uds que l ont veut afficher dans un format
propre à l outil (n ud 1 -> noeud2). On qu on doit ainsi créer un fichier (en format .dot)
contenant toutes les définitions des n uds et des liens entre ces n uds, puis l exécuter avec la
commande dot suivante : dot -Tps -o fichier.ps fichier.dot
C est donc dans ce format Dot que nous allons formater notre base de données.
5.2.2. Formatage de la base de données au format dot
Dans cette section, nous présentons comment la base de donnée générée grâce à la version
modifiée de EiC est exploitée pour avoir une représentation graphique claire de nos dépendances
entre les données. Pour cela, nous avons utilisé les possibilités de l outil Dot pour représenter
chaque type d information de la base de données sous forme d un n ud ou d un lien dans le
graphe. Ainsi, chaque fonction (Call, main, Return) est représentée par un rectangle, rouge
pour la fontion main() et noir pour les autres, les définitions de variables (Def) sont
représentées par un n ud vert en forme d ellipse, l utilisation d une variable est représentée par
un line allant de la l igne d origine de sa valeur vers la ligne où elle est appellée. Les lignes
d instructions sont alors représentées par leur identifiant de ligne unique (numéro de
ligne:numero d appel) et alignées verticalement à gauche du graphe de dépendance, tel un
axe de mesure, par ordre d appel dans le programme. Nous pouvons visualiser cette
représentation graphique sur la figure 21, qui définit une variable x (identifiée par 1-0) puis
retourne sa valeur avec la fonction return.
var2.c
1 int main()
2 {
3 int x;
4 x = 12;
5 return x;
6 }
Figure 21. Graphe de dépendances dynamiques de données pour "var2.c"
Nous pouvons voir sur cette représentation graphique, que les n uds du graphe son positionnés
au même niveau que les identifiants de leurs ligne d appel sur l échelle d appel des instructions (à
gauche du graphe), sauf pour la fonction main qui est identifiée par son nom et son compteur
d appel. Ainsi, l échelle de gauche indique que le fichier analysé commence par la fonction main
et que la dernière ligne de code exécutée est la ligne 5:1 (end). Le graphe de dépendances à droite
de cette échelle nous indique que la fonction main (rectangle rouge) définit une variable en ligne
4:1 (ellipse verte), dont la valeur est renvoyée (fonction return) par l instruction de la ligne 5:1.
Les conditions des structures de controle telles que if et while, sont représentées par un noed
dans le graphe de dépendances en forme de losange, définit de sorte que si la condition est vraie,
56