--- layout: fc_discuss_archives title: Message 44 from Frama-C-discuss on March 2009 ---
Bonjour, > Do you know that for simple cases like that, you should consider to use > [Db.Pdg.extract] to generate a .dot file so you can have a look at the > graph. I think it helps a lot at the beginning... You can also use some pdg internal options to better understand what really happened. Use 'frama-c -pdg-debug -help' to have the list of these options. For instance, 'frama-c -pdg-debug "-pdg -dot-pdg foo" bar.c' generates a file 'foo.f.dot' for each function 'f' of bar.c.