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
- Subject: [Frama-c-discuss] frama graph plugins
- From: pascal.cuoq at gmail.com (Pascal Cuoq)
- Date: Fri, 28 May 2010 00:54:38 +0200
- In-reply-to: <AANLkTik2Unbbr-YGqo8WQ-xVERuR4yO8jKFJaijfCGAm@mail.gmail.com>
- References: <AANLkTilhIvPTJD8meDMZ6UtJnTvY_PDQW_2Ovie57s1v@mail.gmail.com> <20100526185109.GA3785@opentech.at> <AANLkTik2Unbbr-YGqo8WQ-xVERuR4yO8jKFJaijfCGAm@mail.gmail.com>
Hello, > I would like to know if exists some way to interact with the graphs provided > by Frama, such as > computing cyclomatic comprexity, function connectitivy. > Moreover, Frama provides control flow graph for each function? All of the (syntactic) call graph, a so-called "semantic" call graph similar to the former but completed with function calls that happen through function pointers, and a control flow graph for each function are accessible programmatically. You can find some of results you seek in the output of "frama-c -metrics ..." or in the bottom-left panel of the GUI under "Metrics". You can look at the implementation of these options if you so desire and extend them to other metrics. However, this kind of information is already computed by tens of existing tools and is not the focus of Frama-C. We wouldn't even be able to tell you what these existing tools are, that's how incompetent we are on the subject of code metrics. Pascal PS: assuming that you are using version 20100401. I do not remember an HTML report with so much information being output by "frama-c -metrics" in previous versions.
- References:
- [Frama-c-discuss] frama graph plugins
- From: drb3065 at louisiana.edu (Davidson Boccardo)
- [Frama-c-discuss] frama graph plugins
- From: der.herr at hofr.at (Nicholas Mc Guire)
- [Frama-c-discuss] frama graph plugins
- From: drb3065 at louisiana.edu (Davidson Boccardo)
- [Frama-c-discuss] frama graph plugins
- Prev by Date: [Frama-c-discuss] Non-terminating loops
- Next by Date: [Frama-c-discuss] Frama-c with Freescale (Motorola) HCS12 micro controller
- Previous by thread: [Frama-c-discuss] frama graph plugins
- Next by thread: [Frama-c-discuss] frama graph plugins
- Index(es):