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

Chapitre 5 - Description technique du travail réalisé
Et ainsi de suite pour les deux derniers appels de boucle. En regardant les colorations des cases
du tableau 1, on remarque que les instruction de type Use font appel aux valeurs du tableau T
pour les valeurs dernier_appel et dernier_pass pour le numéro d instruction où la
variable 1-0 à été modifiée qu on peut alors obtenir via la variable AR[1][0].line.
Nous modifions la boucle d évaluation d instructions comme suit pour les codes opérateurs
stoint et rvalint :
case stoint: stoTYPE(ival);
AR[InSt[p].ext][InSt[p].val.ival].line = InSt[p].line;
printf("\tDef %d-%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,
T[InSt[p].line].cptr_a);
T[InSt[p].line].dernier_appel= InSt[p].line;
T[InSt[p].line].dernier_pass= T[lastln].cptr_a;
break;
case rvalint: rvalTYPE(ival);
printf("\tUse %d-%d %d %d %d %d \n",
InSt[p].ext,
InSt[p].val.ival,
T[AR[InSt[p].ext][InSt[p].val.ival].line].dernier_appel,
T[AR[InSt[p].ext][InSt[p].val.ival].line].dernier_pass,
InSt[p].line,
T[InSt[p].line].cptr_a);
break;
5.1.4. Extensions pour les boucles et l appel de fonctions
Dans cette section nous présentons les autres formats de la base de données pour les types non
encore cités tels que les évaluations de conditions, les appels de fonctions (telles que printf())
ou encore les fonctions main() et return() traitées différemment par EiC.
Pour capturer les appels de boucles et les structures de contrôles if, nous avons intégré à la
boucle d évaluation d instructions au niveau du code opérateur ltint l affichage d une
instruction Cond pour mettre en évidence dans notre base de données l évaluation d une
condition 15 dans le cas d un if ou de boucles while et for. Ainsi une ligne de format Cond 16
dans la base de données contient trois types d informations : la condition évaluée, la valeur de son
évaluation (0 ou 1) et les identifiants de la ligne d instruction.
Pour afficher l appel d une fonction, nous avons modifié le code opérateur call pour qu il
génère une ligne de format Call 17 dans la base de donnée, ce format contient alors deux types
d informations au plus : les identifiants de l instruction et la valeur de retour de la fonction le cas
échéant.
Pour afficher la fonction main(), nous lui avons réservé une ligne de format main 18 dans la
base de donnée, ainsi ce format de ligne renseigne les identifiants de lignes ou la fonction main()
est appelée dans le fichier source C.
15
Seul l opérateur « < » est traité par EiC à ce stade du projet.
16 Exemple : Cond (1