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

Chapitre 5 - Description technique du travail réalisé
précédente et modifions la variable m pour qu elle reçoive la somme des valeurs des variables x et
y :
7 int m;
8
9 int main()
10 {
11 int x,y;
12
13 x = 12;
14 y = 8;
15 m = x+y;
...
20 }
::EiC:: : 5 -> [main]
13.-
Def 1-0 12 13
14.-
Def 1-1 8 14
15.-
Use 1-0 13 15
Use 1-1 14 15
Def 0-2 15 15
Pour représenter la lecture des variables x et y dans la base de données nous devons faire
référence au numéro de ligne où elles ont été affectées c'est-à-dire respectivement les lignes 13 et
14. Pour enregistrer ces deux valeurs, nous modifions la structure de la pile d exécution AR par
laquelle nous accédons aux valeurs des variables, en lui ajoutant un champ supplémentaire line.,
ci-dessous la structure de la pile d exécution ainsi modifiée :
typedef struct AR_t {
val_t v;
type_expr * type;
unsigned short line;
}AR_t;
Ce champ line nous permet ainsi à chaque modification de la valeur d une variable d enregistrer
le numéro de ligne où cela est effectué. Dans stoint et rvalint, nous avons ajouté une
ligne de code après chaque Def afin d affecter à la variable son nouveau numéro de ligne comme
on peut le voir ci-dessous :
case stoint:
stoTYPE(ival);
printf("\tDef %d-%d %d %d \n",
InSt[p].ext,
InSt[p].val.ival,
AR[InSt[p].ext][InSt[p].val.ival].v.ival,
InSt[p].line);
AR[InSt[p].ext][InSt[p].val.ival].line = InSt[p].line;
break;
5.1.3. Numérotation et compteur d appel des instructions
Nous abordons dans cette section la numérotation des instructions. En effet, ce point bien
qu abstrait à ce niveau et pouvant paraître sans grande importance à première vue est la clé dans
notre représentation des dépendances entre données.
Nous avons vu, dans l exemple donné en section 5.1.2, que lorsqu une variable est utilisée nous
avons besoin de savoir le numéro de la ligne d instruction où elle a été définie auparavant. Notre
numérotation des lignes doit non seulement permettre de faire des liens entre les données du
programme, mais aussi permettre d identifier de manière unique chaque passage sur une même
instruction(cf. l exemple donné ci-dessous). Ainsi, lorsqu on passe plusieurs fois sur une même
instruction (cas de fonctions récursives et boucles), nous devons générer autant d identifiants
d instructions que de passages.
51