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 Program Dependency Graph plug-in that may
be somewhat like what you are looking for, that makes
its results available to a slicing plug-in, and that uses
results from a very precise value analysis to resolve
pointers, and a functional dependencies analysis to
handle function calls.

> that they'd be willing to
> share?

Everything is as http://frama-c.com/

Pascal

------------------------------------------------------------------------------
All the data continuously generated in your IT infrastructure contains a
definitive record of customers, application performance, security
threats, fraudulent activity and more. Splunk takes this data and makes
sense of it. Business sense. IT sense. Common sense.
http://p.sf.net/sfu/splunk-d2dcopy1
_______________________________________________
CIL-users mailing list
CIL-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/cil-users

Reply via email to