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

Analyse dynamique de programmes C
Chapitre 6 - Exemples de résultats
N ous avons vu au long des chapitres précédents des extraits de graphes de dépendances
dynamiques de données générés suivant le modèle de graphes de dépendances de l outil
DDFgraph pour le le langage Lisp (cf. chapitre 1). Ce chapitre, présente les résultats que nous
obtenons grâce à la technique de génération de graphe décrite dans le chapitre précédent, qui
présente les données de manière différente que pour le modèle suivi. Nous voyons dans ce
chapitre les résultats de graphes dynamiques de dépendances entre données obtenus pour
quelques exemples de programmes manipulant des variables entières. Nous présentons ces
résulats par ordre croissant de complexité.
6.1. Opérations sur des variables entières
Nous prenons pour premier exemple le fichier « ext_affvar1.c », qui effectue de simples opérations
sur des valeurs entières, retournant la valeur d une des variables manipulées en fin de programme.
1 /* ext_affvar1.c */
2 int g;
3 int main()
4 {
5 int x,y,a,b;
6 x = 12;
7 y = 8;
8 g = 15;
9 a = x + y;
10 x = a - g;
11 a ++;
12 return a;
13 }
Nous pouvons voir sur la figure 24 le graphe de dépendances
dynamique des variables entières manipulées par le programme
source. Nous avons ajouté, pour une meilleure lecture du graphe,
près de chaque n ud définissant une variable, le symbole
correspondant à l identifiant de celle-ci 22 .
En observant le graphe de plus près, nous pouvosn remarquer que
la variable b n est pas affichée sur le graphe, ceci est expliqué par le
fait que cette dernière n est pas manipulée pendant l exécution du
programme. Nous pouvons ainsi voir sur ce graphe les
dépendances entre les variables, comme par exemple la variable x
est définie en ligne 6 puis sa valeur est utilisée en ligne 9 pour
définir la valeur de la variable a, puis elle est encore modifiée en
ligne 10 en prenant une nouvelle valeur issue d une opération sur
les variables a et g.
Par contre il n existe pas de lien représenté entre les variables x, y et
g avec la fonction main dans laquelle ils sont définis, ce problème
d affichage est traité dans le chapitre 8.
x
y
a
a
g
x
22
Automatiserle rempalcement de l identifiant interne des variables par leur
symbole est l une de nos perspectives (cf. chapitre 8).
Figure 24. Graphe de
dépendances dynamique
60