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

Chapitre 5 - Description technique du travail réalisé
L instruction switch évalue l expression InSt[p].opcode, qui correspond au code opérateur
de l instruction de numéro d enregistrement p. Si le code opérateur est stoint alors la fonction
stoTYPE(ival) est exécutée, et ainsi de suite pour tous les codes opérateurs définis. Ces codes
opérateurs, ci-dessus, nous permettent de détecter lorsqu une variable entière est définie
(stoint), et pour détecter lorsqu une variable entière est utilisée (rvalint). L objectif de notre
outil étant d extraire les informations sur la définition et l utilisation des variables 14 , nous devons
principalement modifier la trace dans pour qu elle intègre ces informations. Par exemple pour le
programme de la figure 19, nous voulons obtenir une trace de la forme :
5,
[main]
9-
Def x 12 9
10-
Use x 9 10
x = 12
11-
return 0
[::EiC::]
Ce format nous permet ainsi de capturer l usage des variables effectué par chaque instruction de
notre exemple :
- en ligne 9 on définit la variable x avec la valeur 12 (Def x 12 9)
- en ligne 10 on utilise la variable x définie en ligne 9 (Use x 9 10), le résultat de
l instruction est affiché ensuite
- en ligne 11 on utilise la fonction return avec pour valeur de retour 0
Pour obtenir le format de base de données avec les lignes Use et Def, nous avons modifié le code
exécutépour le code opérateur stoint pour afficher une ligne de type Def. Par contre si c est
rvalint, alors nous affichons dans une ligne de type Use. Nous pouvons voir dans l extrait de
code source suivant comment cela a été introduit dans la boucle d évaluation d instructions :
switch (InSt[p].opcode) {
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);
break;
case rvalint:
rvalTYPE(ival);
printf("\tUse %d-%d %d %d \n",
InSt[p].ext,
InSt[p].val.ival,
lastcalline,
InSt[p].line);
break;
}
Une ligne de format Def contient trois informations : l identifiant de la variable, la valeur de la
variable et le numéro de ligne de l instruction C effectuant cette affectation. Une ligne de format
Use contient également trois informations : l identifiant de la variable, le numéro de ligne de
l instruction C et enfin la dernière ligne où la variable à été modifiée. La dernière ligne où la
14
Pour simplifier l exposé, nous nous concentrons ici sur l usage des variables, le cas des appels de fonctions est
détaillé en section 5.14.
49