Getting the control flow graph out

Oct 2, 2012 at 1:04 PM

Hi all,

I need the control flow graph of a C program. Since VCC surely generates one I thought it would be easy to get it out. But I can't find it in the source code. Any hints would be appreciated.

Thanks, Thorsten

Oct 10, 2012 at 1:52 PM

Hi Thorsten,

The control flow graph is actually generated by Boogie, rather than VCC. So you would want to look at the code of Boogie (which is also on codeplex).

However, unless you are looking to do this to extend VCC, I suspect there are easier ways for you to get what you want, e.g. from a compiler.



Oct 10, 2012 at 2:29 PM

Thanks for the pointer Ernie. We use a different approach now to obtain the CFG.