Hello to everyone. We are using CIL in one of our tools for automated test
generation. We run a number of CIL passes which normalize and finally
instrument the C code under analysis. The problem is, there are some statement
in the input source that are "relevant", we want to transmit this information
up to the last (instrumentation) pass, but since all we have is the list of the
"relevant" input file source rows we have somehow to inject this information in
the code produced by the intermediate passes. Also, some passes emit the
modified AST to an intermediate C file, that is then reloaded into a new AST.
We would like not to change this architecture since it would be too pervasive
and none of us has ever tweaked OCaml code, so we have to "mark" a number of
statements in an AST, write the modified C program on disk, and then recover
this marking when we reload the file.
Our current idea is to inject some kind of assignment statement to a fubar
variable as, e.g., _next_statement_is_relevant = 1, right before every
"relevant" statement. Can anyone suggest something better?
Thank you very much
Pietro Braione
------------------------------------------------------------------------------
Monitor your physical, virtual and cloud infrastructure from a single
web console. Get in-depth insight into apps, servers, databases, vmware,
SAP, cloud infrastructure, etc. Download 30-day Free Trial.
Pricing starts from $795 for 25 servers or applications!
http://p.sf.net/sfu/zoho_dev2dev_nov
_______________________________________________
CIL-users mailing list
CIL-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/cil-users
