Hi, I am playing with Cil and have several questions

1. How do I add a directive to a cil file (of type Cil.fil), e.g., add
#include "mylib.h"  to a c file

2. I want to get all the variables in scope at a particular location, e.g.,
before a statement S. I can get all variables in a function using something
like fd.slocals @ fd.sformals but not sure how to variables at a specific
location.

3. What would be a good way to keep track of a statement?  If I go into a
function and identify a statement S of interest,  and then make some
modification to that function, so S would change (e.g., its location etc is
now changed, the statment id computed by CFG could also changed). So how do
I keep track of S ?

Thanks ,


Vu,
------------------------------------------------------------------------------
CenturyLink Cloud: The Leader in Enterprise Cloud Services.
Learn Why More Businesses Are Choosing CenturyLink Cloud For
Critical Workloads, Development Environments & Everything In Between.
Get a Quote or Start a Free Trial Today. 
http://pubads.g.doubleclick.net/gampad/clk?id=119420431&iu=/4140/ostg.clktrk
_______________________________________________
CIL-users mailing list
CIL-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/cil-users

Reply via email to