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

Chapitre 6 - Exemples de résultats
6.3.2. Fonction avec arguments
Nous voyons maintenant comment l appel de fonctions avec arguments est représenté
graphiquement, puis ce que l on obtient dans la base de données grâce à la version modifiée de
EiC. L exemple qui suit utilise le programme « foncavcarg.c » qui définit deux variables entières dans
la fonction main(), ces valeurs sont alors passées en argument à la fonction add23().
a
b
x,y
Figure 33. Graphe de dépendances
de données généré pour le
programme "foncavarg.c".
foncavcarg.c :
# main:1
main 1
# 7:1
Def 1-0 2 7 1
# 8:1
Def 1-1 3 8 1
foncavcarg.c
# 9:1
stoval -3- stoval -2- eiccall
1 int add23 (int x,int y) {
2 return x+y;
3 }
4
5 int main(void) {
6 int a,b;
7 a = 2;
8 b = 3;
9 return add23(2,3);
10 }
Nous pouvons voir sur cet exemple les définitions des
variables a et b de la fonction main() aux lignes 7 :1 et 8 :1,
qui sont suivies du premier appel à la fonction add23 en ligne
9:1. Nous pouvons remarquer qu à cette même ligne un n ud
est relié à la fonction Return-1 de la ligne 2 du code source et
qui retourne bien la somme des valeurs des arguments à la
fonction add23(). Ainsi, les arguments x et y sont
représentés par un n ud unique : le noeud « #1:629592 »,
dont le 1 signifie que ces variables sont définies en ligne 1 du
code source et le chiffre 629592 correspond au nombre
d appels de cette ligne, cette valeur est à priori fausse puisqu il
s agit du premier appel à la fonction add23 définie en ligne 1.
Ceci étant, les liens partant de ces variables x et y vers la
fonction Return-1 sont correctement affichés.
En regardant de plus près la base de données (donnée cidessous)
générée avec EiC nous pouvons voir que ces deux
variables sont identifiées au niveau 1 et numérotées négativement 23 c est-à-dire que la variable x
est identifiée par 1- -1 et y par 1- -2 (cf. surlignés en rouge dans la base de données) et leurs
valeurs sont transmises à la fonction grâce au code opérateur stoval (cf. surlignés en jaune cidessous),
comme nous pouvons le voir ici :
foncavcarg.c :
Fonc add23 9 1
# 2:1
Use 1--1 1 629592 2 1
Use 1--2 1 629592 2 1
Return 5 2 1
[main]
# 9:2
Return 5 9 2
[::EiC::]
23 Les variables passées en argument à une fonction sont numérotées négativement par EiC.La numérotation
commence par -1 pour le premier argument, -2 pour le suivant et ainsi de suite.
68