--- layout: fc_discuss_archives title: Message 44 from Frama-C-discuss on March 2009 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Getting a node from its id for a particular pdg



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.