--- layout: fc_discuss_archives title: Message 68 from Frama-C-discuss on February 2011 ---
> Just in case you didn't see it, you can also use : > ?frama-c -pdg test.c > to dump the raw results from the PDG computation. > It can help to analyze where the dependencies come from. and -pdg -dot-pdg test to get a graphical representation of main's PDG in test.main.dot.