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

Chapitre 3
Les interprètes C existants
lysop@yak> ./eic
*************************************************************************
EiC V4.3.0 - Copyright (c) 1995 to 2000, by Edmond J. Breen
EiC comes `as is' and with ABSOLUTELY NO WARRANTY OF MERCHANTIBILITY AND
FITNESS OF PURPOSE
*************************************************************************
(void)
EiC 1> int x;
(void)
EiC 2> x = 10;
10
EiC 3> #include testinterpC.c
(void)
Mode interactif
EiC 4> main();
valeur de x = 0
valeur de y = 1
valeur de z(x+y) = 1
valeur de x = 3
valeur de y = 4
valeur de w(x-y) = -1
valeur de v(z*w) = -1
0
EiC 5> :exit
lysop@yak> ./eic testinterpC.c
valeur de x = 0
valeur de y = 1
valeur de z(x+y) = 1
valeur de x = 3
Mode batch
valeur de y = 4
valeur de w(x-y) = -1
valeur de v(z*w) = -1
lysop@yak>
Figure 14. Aperçu de l utilisation de EiC sous Linux
Bien que cet outil semble complet en ce qui concerne sa prise en charge de l ensemble du langage
C, un dernier test va me permettre de vérifier ses possibilités à gérer tout type de programme C.
Pour cela, je teste l interprète pour le programme LLisp, vu dans la section 3.2.
lysop@yak> ./eic llisp/main.c
Warning: in llisp/read.c near line 158: Unreachable code at line 157
Warning: in stdlib.h near line 31: 2nd prototype for builtin -> malloc
Warning: in stdlib.h near line 39: 2nd prototype for builtin -> free
Chargement de llisp/llisp.ini
append
length
assq
equal
member
? 5
= 5
? (car '(a b c))
= a
? (cdr '(a b c))
= (b c)
? bonjour
Atome bonjour, valeur indefinie
? (times 5 6)
= 30
? (add1 8)
= 9
? (plus 8 9)
31