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

Chapitre 5 - Description technique du travail réalisé
un lien vers l instruction suivante ira du sommet gauche du losange, et si la condition est fausse le
lien vers l instruction suivante ira du sommet droit. On peut voir ci-dessous un exemple de son
utilisation :
if (condition)
instruction_1
else
instruction_2
Condition
vraie
Condition
fausse
Instruction_1
Instruction_2
Figure 22. Propriétés du noeud représentant une condition.
Les scripts de nos graphes de dépendances sont générés de manière automatique à partir de la
base de données, grâce à trois scripts awk (cf. annexe VI) placés dans le dossier bin/ . Le
premier fichier se nomme « formaterdata.awk » et permet de supprimer des informations
superfluesextraites concernant l exéction interne à EiC. Le deuxième fichier se nomme
« graph1.awk » et permet de générer les premières lignes du script dot c'est-à-dire l entet du fichier
(en rouge sur la figure 23) et le code générant l echelle d enchainement des lignes d instructions
placée à gauche du graphe de dépendance (en bleu sur la figure 23). Le troisième script est
nommé « graph2.awk » qui génère le code dot adéquant suivant le type de ligne dans la base
donnée 20 , à savoir le type du n ud 21 , sa couleur, son comportement (dans le cas d une condition
par exemple) ou encore un lien reliant deux n uds (cas d un Use) . On peut voir à la figure 23 cidessous
un exemple de codes dot générés en fonction de la base de données obtenue pour le
programme « var2.c » donné en figure 21.
digraph G { ranksep=.75; size="7.5,7.5";
{ node [shape=plaintext, fontsize=16];
"main:1" -> "4:1" -> "5:1" -> "end"; }
{ rank = same;
"main:1"; "#main:1"; }
"#main:1" [label="main-1", shape=box, color=red]
var2.c :
# main:1
main 1
# 4:1
Def 1-0 12 4 1
# 5:1
Use 1-0 4 1 5 1
Return 12 5 1
"#main:1" -> "#4:1"
{ rank = same;
"4:1"; "#4:1"; }
"#4:1" [label="1-0=12", color=green]
"#4:1" -> "#5:1"
{ rank = same;
"5:1"; "#5:1"; }
"#5:1" [label="Return-1\n12", shape=box]
}
Figure 23. Code dot généré à partir de la base de données.
20
Use, Def, main, Return, Cond, Call.
21 Rectangle, ellipse, losange
57