Hi Oliver.
Thanks for the helpful reply. So, what I'm currently using CIL for in my
tool is to preprocess the source file under analysis to make it easier to
analyze -- or at least, that's the hope. As part of this, I would like to
give the user an option to specify what files he/she would like to
Hello.
I figured out what is the standard way of handling extra options for a CIL
module.
For example, the liveness.ml module contains as element of fd_extraopt:
"--live_func",
Arg.String (fun s -> live_func := s),
" Output the variables live at each statement
