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

Chapitre 3
Les interprètes C existants
Comme on peut le voir sur la figure 15, la fonction strcmp() n est pas celle de la librairie
standard C puisque le fichier header «string.h » dans lequel elle est définie n a pas été inclus au
programme «compare.ch ». De plus cette fonction compare deux chaînes de caractères de types
différents l une de type char * comme en C et l autre chaîne est de type string_t qui est un
type propre au langage Ch. On peut aussi remarquer que le code Ch est enregistré dans un fichier
d extension .ch, qui contient en première ligne l appel à l interprète Ch sous la forme :
# !/bin/ch S .
L interprète Ch offre de plus la possibilité d utiliser des commandes Shell, awk et des librairies
graphiques telles que OpenGL. Il permet, comme UnderC, Cint et EiC, de saisir des instructions
C en ligne de commandes et d exécuter un fichier écrit en C de manière aisée. On peut voir cela à
la figure 16.
Figure 16. Aperçu de l exécution du programme testinterpC.c par Ch
Ch est accompagné de trois documents (de type pdf de plus de 1000 pages en tout) et man, assez
complets, permettant de mieux comprendre son langage et son fonctionnement.
Ch existe en version standard gratuite, dédiée à la recherche et aux étudiants, et une version
professionnelle payante. Nous avons testé la version standard de Ch dans l espoir de pouvoir
obtenir le code source par la suite, malheureusement sans succès. Les tests réalisés sont les
mêmes que ceux appliqués à l outil EiC étant donnés que l outil gère toute la bibliothèque
standard C, ainsi que les principaux éléments pouvant construire un quelconque programme
source C, c'est-à-dire essentiellement : les pointeurs, les tableaux, l appel de fonctions, gestion des
boucles, la récursivité et encore les structures de contrôle.
Ch permet aussi de gérer un code source avec grand nombre de lignes de codes. Il a été
cependant incapable d exécuter le code de l interprète Lisp constitué de plusieurs fichiers sources,
ceci bien qu il supporte en théorie la possibilité d interpréter ce type de programmes sources. En
effet, l exécution de programmes composés de plusieurs fichiers sources nécessite des
manipulations préalables sur ce dernier. Le code source n étant de toute manière pas accessible,
les tests pour cet outil n ont pas été au delà.
Le langage Ch permettrait aussi de créer des programmes avec des points de contrôle grâce aux
fonctions Ch, mais cela nécessite une étude plus approfondie de ses capacités, difficile à réaliser
du fait du manque de documentation à ce sujet.
33