I am a new comer of CIL.
I want to know whether CIL can slove my problems.
I want to do some static analysis such data flow analysis for C source code
and then modify the code by changing some statements of the C source code.
What procedure should I follow?
And if I use CIL, should I have to know Caml if I use CIL as a library?