> 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
CUOQ Pascal wrote:
> From: CUOQ Pascal
> Subject: RE: [CIL users] A beginner question: How to get a value of a
> variableat runtime
> To: "Amm" , cil-users@lists.sourceforge.net
> Date: Sunday, June 5, 2011, 12:34 AM
> > What I want to do is pretty
> simila
> What I want to do is pretty similar to what liveness.ml does
> which is printing variables that are live at each statement and also values
> of those variables.
It looks like you want a static analysis (liveness.ml implements
a static analysis) that tells you the set of possible values
for var
