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

Analyse dynamique de programmes C
et 10 sont exécutées. L instruction 10 étant la fonction printf() qui affiche la valeur de la
variable x, son résultat est affiché après son numéro de ligne. L instruction de la 11 ème ligne du
code source est exécutée, elle correspond à la fonction return 0, puis on retourne dans
l environnement EiC ([::EiC::]) qui n a plus d instructions à exécuter d où la fin de son
exécution.
L option de trace originale à l interprète EiC ne nous fournit pas assez d informations quant à
l exécution du programme, mis à part le numéro des instructions exécutées. Nous allons alors
explorer le code source de EiC afin de savoir à quel endroit il y gère la fonction de trace, puis de
trouver comment la modifier afin qu elle nous renvoie les informations sur les dépendances entre
données.
Comme nous l avons vu dans le chapitre précédent, le code source de EiC est contenu dans le
dossier chemin_vers_EiC/src/ , le premier fichier appelé par le programme quand il est
exécuté etant « main.c ». Ce fichier fait appel à la fonction EiC_startEiC() définie dans le
fichier « starteic.c », qui fait appel à une autre fonction runEiC() pour initialiser l interprète EiC.
Elle effectue ensuite les analyses lexicale et syntaxique avant d exécuter la fonction
d interprétation EiC_interpret() qui, comme son nom l indique, effectue l interprétation des
instructions. Cette dernière fonction est définie dans le fichier « interpre.c », qui contient également
l option de trace d un programme vue en figure 19.
En effet, en suivant l enchaînement des appels entre fichiers sources EiC, nous trouvons que
l option de trace consiste en une exécution d instructions dans EiC_interpret() si la variable
EiC_traceON a pour valeur 1. Ainsi, lorsqu on fait appel à la commande eic t fichier.c,
la variable EiC_traceON est initialisée à 1 et la suite d instructions définies ci-dessous est
exécutée :
if(EiC_traceON) {
if(InSt[p].opcode == eiccall) {
EiC_eicpush(&names,v);
v.p.p = ((symentry_t *) STK[ToP - 1].v.p.p)->id;
EiC_formatMessage("\n[%s] ",(char*)v.p.p);
}
if(!EiC_traceFunc && lastln != InSt[p].line && InSt[p].line) {
lastln = InSt[p].line;
EiC_formatMessage("%d,",lastln);
}
}
Dans cet extrait de code source, les résultats de trace obtenus sous EiC sont effectués avec les
deux instructions : EiC_formatMessage("\n[%s] ",(char*)v.p.p), pour le nom de la
fonction exécutée et EiC_formatMessage("%d,",lastln) pour le numéro de la ligne
d instruction exécutée (variable lastln). Nous nous sommes donc servis de ces fonctions pour
y insérer nos propres informations, et nous avons aussi modifié leur format affichage en un
format spécifique à notre base de données (cf. section 5.14). Les informations que nous avons
ajoutées sont générées par la boucle d évaluation des instructions, qui est également effectuée à
l intérieur de la fonction EiC_interpret(). Cette boucle a pour rôle essentiel d exécuter le
code, qui à ce stade se présente sous la forme de code intermédiaire : opcode [operande], où
l opcope est un symbole désignant un type d instructions et operande désigne l éventuel
argument de l instruction. C est donc ce code intermédiaire que nous exploitons pour obtenir des
informations telles que l affectation d une variable ou son utilisation par une instruction.
Pour comprendre ce qu effectue la boucle d évaluation d instructions de la fonction
EiC_interpret(), il faut savoir au préalable que EiC décompose une ligne d instruction C en
plusieurs instructions de code intermédiaire. Nous pouvons voir dans l exemple qui suit,
47