Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] frama graph plugins


Here is just a complement to/synthesis of Pascal's answer.

Davidson Boccardo a ?crit :
> Probably I did not express my goal in the right way.
> I would like to know if exists some way to interact with the graphs 
> provided by Frama, such as
> computing cyclomatic comprexity, function connectitivy.

- Plug-in "metrics" provides some useful information, but it does not 
interact directly with the callgraph (neither the syntactic or the 
semantic one).
- You can interact yourself with the syntactic/semantic callgraph by 
writing a plug-in. If some useful functions are missing in the API of 
these plug-ins, please fill a "feature request" on the BTS.

> Moreover, Frama provides control flow graph for each function?

- The control flow graph (cfg) is computed by Frama-C. It is not yet 
provided to the user. Though you can interact with it by writing a plug-in.
- The cfg could be displayed in the GUI in a future version of Frama-C.

Hope this helps,