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
Hi,
I want to track a value changing of a particular variable at runtime.
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.
Is there any internal structure that keeps the value/state of a
Hi there,
I am new to CIL and I have some difficulty to get start using it.
What I want to do is to print all executed statements (including declaration
statements) at runtime.
I studied and modified logcall.ml. I have a visitor to visit and instrument a
printf statement before each actual state
