> Actually, I want to do a dynamic analysis
> where I observe a behavior/outputs of a program at runtime.
> So I use CIL to instrument code to print out values of variables
Yes, using CIL to instrument the source code to do this is one way.
If you are already familiar with it, you should be abl
Please excuse my lack of knowledge in program analysis. I just realized that
liveness.ml does a static analysis. I thought it prints variable names that are
active at each statement at runtime.
Actually, I want to do a dynamic analysis where I observe a behavior/outputs of
a program at runtim
