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

Analyse dynamique de programmes C
4 */
5
6
7 int m;
8
9 int main()
10 {
11 int x,y,a,b,c;
12
13 x = 12;
14 y = 8;
15 m = 15;
16 a = x + y;
17 b = x - y;
18 c = a + b;
19 return c;
20 }
::EiC:: : 5 -> [main]
13.-
Def 1-0 12 13
14.-
Def 1-1 8 14
15.-
Def 0-2 15 15
16.-
Use 1-0 13 16
Use 1-1 14 16
Def 1-2 20 16
17.-
Use 1-0 13 17
Use 1-1 14 17
Def 1-3 4 17
18.-
Use 1-2 16 18
Use 1-3 17 18
Def 1-4 24 18
19.-
Use 1-4 18 19
Notre outil a extrait de l exécution de ce programme l ensemble des informations manipulées, à
savoir les variables définies et leurs valeurs. On peut voir à la suite du code source le format des
données extraites, on peut y distinguer deux types d informations : Use var l1 l2 et Def var val L.
Quand on a Use var l1 l2 cela signifie que l instruction de la ligne l2 utilise la variable var
définie en ligne l1, et quand on a Def var val L cela signifie que l instruction de la ligne L définit
la variable var avec la valeur val. Prenons par exemple l instruction de la ligne 16 du
programme, dans laquelle on affecte à la variable a la somme des valeurs de x et y. Dans les
données extraites on peut voir pour l instruction 16 (surlignée en bleu) les informations suivantes :
- Use 1-0 13 16, signifie que l instruction de la ligne 16 utilise la variable nommée « 1-
0 » (qui correspond à x) 1 définie auparavant à la ligne 13 du code source (cf. définition
mise en évidence dans les informations extraites par le surlignage orange).
- Use 1-1 14 16, signifie que l instruction de la ligne 16 utilise la variable nommée « 1-
1 » (qui correspond à y) définie auparavant à la ligne 14 du code source (cf. définition
mise en évidence dans les informations extraites par le surlignage jaune).
- Def 1-2 20 16, signifie que l instruction de la ligne 16 définit la variable « 1-2 », c est-àdire
a, avec la valeur 20, somme de 12 pour x et 8 pour y.
Ainsi, le format de données extraites aussi appelé base de données, est assez abstrait et n est donc
pas adapté pour une lecture humaine. En effet, ce format est conçu de manière à décomposer le
code source pour mettre en évidence les dépendances entre ses données (ici variables), que nous
transformons ensuite en un graphe donné en figure 1, il devrait à terme donner le résultat de la
figure 2.
1 Les variables sont désignées actuellement par des identifiants (comme ils sont distingués dans l interprète) en
attendant que la correspondance avec la table des symboles soit faite afin de récupérer leur nom.
12