This project is read-only.

Program dependence graph or data dependence graph?

Nov 4, 2014 at 1:26 AM

I am interested in using CCI to implement control and data dependence analysis.

Does CCI provide any feature for constructing program dependence graph or computing data dependence for C# programs?
If not, any suggestions for other existing open source infrastructures or tools that may have these features?

Nov 9, 2014 at 11:54 PM
You can build such things with CCI and there are some helpful utilities in the AnalysisUtilities and ControlAndDataFlowGraph folders.

However, this kind of static analysis can get pretty ambitious once you want to do more than just the basics.

You might be better off looking at for the more basic stuff and to sync up with Francesco Logozzo at Microsoft Research for the more advanced stuff.