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

Analyse dynamique de programmes C
Annexe - III -
Directiv es d appel à EiC en mode batch
To start eic, type eic.
To exit eic, type :exit.
Usage:
eic [-Ipath] [-Dname[=var]] -[hHvVcCrR] [[file] [fileargs]]
Options:
C preprocessor directives:
-Ipath
search for include files in path
-Dname define a symbolic name to the value 1
-Dname=var define a symbolic name to the value var
Note, there is no spaces allowed
EiC directives:
-h -H causes this usage to be displayed
-v V print EiC's Log information
-p showline
-P show path of include files
-t -T turns trace on
-c -C turns timer on
-e echo HTML mode
-r restart EiC. Causes EiC to be re initiated
from the contents of EiChist.lst file
-R same as `r', but prompts the user to accept
or reject each input line first
-s -S run silently
-f run in script mode
-n no history file
-N don't use any startup.h files
-A Non-interactive-mode
file
EiC will execute `file' and then stop; for example:
% eic foo.c
fileargs command line arguments, which get passed onto file
94