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

Chapitre 4
Exploration de l interprète EiC
Toute fonction dans EiC doit être explicitement définie avec son type de retour, quelque
soit le type :
EiC 3> foo(){ int x; x=2; return x; };
Error in ::EiC:: near line 3: Undeclared identifier foo
Error in ::EiC:: near line 3: Expected ;
Error in ::EiC:: near line 3: Misplaced return statement
Error in ::EiC:: near line 3: Expected ;
EiC 5> int foo(){ int x; x=2; return x; };
(void)
L ancienne syntaxe de déclarations et de définitions de fonctions C n est pas supportée
par EiC, telle que :
int f(value) int value { } /* illégal -> vieux style de syntaxe C */
Le préprocesseur de EiC ne gère pas la directive #line.
EiC a donné à la directive #include plus de possibilités comme l inclusion d un fichier
source sans " " ou < >.
Les différences entre EiC et l ISO C sont essentiellement dues au fait que EiC est un interprète
du langage C. Ainsi, EiC est capable de supporter l ensemble des spécificités du langage C, mis à
part deux ou trois fonctionnalités et syntaxes non encore supportées [BRE 03]. Ces lacunes ne
sont cependant pas un handicap, elles vont seulement nous contraindre à mettre en forme le code
C avant de l interpréter avec EiC.
4.2. Structure de fichiers
Nous présentons dans cette section l arborescence des principaux fichiers sources constituant
EiC, de manière à montrer le rôle que jouent certains fichiers dans la procédure d interprétation
et d exécution du code C. Dans la figure 17 ci-dessous, on peut voir l arborescence des dossiers
avec le détail du contenu des principaux répertoires. Seuls les principaux dossiers et fichiers
impliqués dans le processus d interprétation de code sont décrit dans ce qui suit.
Le dossier bin/ contient le fichier binaire « eic » (surligné en jaune sur la figure 17) généré quand
on compile le code source de EiC ($make install dans le dossier eic_test/ ).
Les sources de l interprète sont situées sous le dossier racine eic_test/ , nous avons
volontairement omis de mettre le contenu de quelques répertoires ( config/ , doc/ , lib/ ,
module/ et test/ ) qui ne jouent pas de rôle dans la procédure d interprétation de code.
Les principaux dossiers détaillés dans cette section sont les dossiers include/ , main/ et src/ .
Le dossier config/ contient les informations de configuration relatives à chaque environnement
sur lequel fonctionne EiC. Le dossier doc/ , comme son nom l indique, contient un ensemble de
documentations techniques sur EiC. Les dossiers lib/ , module/ et tests/ contiennent
respectivement des fichiers binaires spécifiques à EiC, des modules tels que gnuplot et le
traitement des cgi par EiC et des exemples de programmes test pour l interprète.
41