Hello,
> Does anyone have CIL code that builds a data
> dependence graph
I am not sure what a data dependence graph is,
but Frama-C has a front-end that was forked from CIL
and it offers a plug-in architecture precisely intended to
reuse results of previous analyses (plug-ins).
There is a Progra
> 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
> 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
On Tue, Jan 25, 2011 at 04:55:02PM -0600, Piramanayagam Arumuga Nainar wrote:
> This is a patch that adds a new flag considerVariableAddrOfAsDef to
> the Use-Def Analysis.
Gabriel wrote:
> but could you please first give an example of why this could
> be useful?
While we are on the subject, perh
Elnatan Reisner wrote:
> One result of this, however, is that something like '*p
> && 0' will become simply '0', and if p was null, this means that the
> transformed program does not crash, whereas the original would have. I
> would argue that this an acceptable transformation, but I'm curio
Hello all,
much as I hate to be the first person to send
a conference announcement to this list,
the conference below is a very good fit
for subscribers of cil-users: the Source Code
Analysis and Manipulation conference will
take place in September in Romania.
Articles can be submitted until April
