--- layout: fc_discuss_archives title: Message 97 from Frama-C-discuss on May 2010 ---
On Wed, 26 May 2010, Davidson Boccardo wrote: > Hi* > I would to know if exists some plugin to extract call graph information in > the frama? > And if is not, which libraries should I check to implement it? yup - its available: generate: frama-c -cg file.dot file.c view : dotty file.dot frama-c -cg-help for more hofrat