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