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

Chapitre 4
Exploration de l interprète EiC
Le fichier est alors exécuté sans pour autant générer un fichier binaire, comme le ferait un
compilateur. Notons que le programme « var.c » n est exécuté par l appel à EiC en mode batch
que s il contient la définition d une fonction main(). En effet, la fonction main est considérée
par EiC comme le point de départ du programme. Cette remarque s applique aussi au mode
interactif de EiC, qui ne permet pas d exécuter un fichier source C sans que ce dernier possède la
définition d une fonction main(). Les prototypes possibles pour définir la fonction main()
sont décrits dans la sous-section 4.1.3.
Avec l appel de EiC en mode batch, le fichier de code source qu on lui donne en argument est
considéré avec tous les fichiers headers qu il inclut comme une seule unité à traduire et à
interpréter. De plus, il n y a aucun fichier d historisation (« EiChist.lst ») créé, contrairement à
l utilisation du mode interactif.
Il existe des particularités d exécution qui sont communs aux modes batch et interactif : le mode
batch possède la possibilité de spécifier des options d exécution, certaines ont même les mêmes
fonctionnalités que celles du mode interactif. Seul le mode d activation de ces options change
d un mode à l autre. On a vu dans la section précédente que les options sont toujours précédées
par le caractère «: ». Pour le mode batch, les options sont toujours précédées du caractère «- », à
la suite de ce caractère on peut cumuler les options les unes après les autres, tout comme les
commandes Shell en environnement Unix/ Linux. La liste complète de ces options est donnée en
annexe II. Quelques options sont cependant présentées ci-dessous avec la trace de leur exécution.
Mais avant cela, voici le format général de la commande eic peut être utilisée en mode batch :
eic [-Directives pour le préprocesseur C] [-Options pour EiC] [ [fichier] [arguments] ]
Ci-dessous quelques exemples d utilisation des options p, t et c qui permettent respectivement
d afficher le code interprété avant de l exécuter, de tracer les instructions effectivement exécutées
et enfin de mesurer le temps d exécution des instructions :
1. ./eic -ptc var.c
2. int _Argc = 1;char *_Argv[] = {"var.c",(void*)0};
3. : 0
4. int main()
5. {
6. int x;
7. x = 12;
8. return x;
9. }
10. : 0
11. main();
12. 5,
13. [main] 9,10,
14. [::EiC::]
15. : 0
Dans cet exemple, on exécute le fichier « var.c » (cf. ci-dessous). La ligne 1 correspond à l appel de
la commande eic avec les trois options ptc, décrites plus haut. La ligne suivante montre la
première ligne interprétée par EiC (comme on a activé l option p pour l affichage des instructions
interprétées), qui correspond à l affectation des variables internes à EiC :_Argc et _Argv. Leurs
valeurs nous indiquent que le programme EiC prend le fichier « var.c » en argument et c est donc
cet unique fichier qui sera à traiter, ce qu on peut effectivement voir aux lignes 4 à 9 (option p).
39