2021-02-24 19:06 CET

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0000435Frama-CPlug-in > callgraphpublic2018-11-30 10:47
Assigned Tosignoles 
Product VersionFrama-C Beryllium-20090901 
Target VersionFixed in VersionFrama-C Boron-20100401 
Summary0000435: Too many edges in call graph
DescriptionFor some reason there are three edges on non-recursive function calls
in the dot file produced by frama-c -scg (see attached)

frama-c -scg foo.dot foo.c && dot -Tpng foo.dot

int fact(int n)
    if(n <= 0)
        return 0;
        return fact(n-1);

void foo(void)

int main(void)
TagsNo tags attached.
Attached Files




signoles (manager)

Thanks for your report. This issue is actually already fixed and will be part of the next release.

For info, the three edges was:
- one edge from a function to a function
- one edge from a function to a service root
- one edge from a service root to a service root

BTW the option -scg computes the so-called semantic callgraph (which uses the result of the value analysis plug-in for handling function pointers) while the option -cg computes the so-called syntactic callgraph (which is faster to compute but incorrect in case of function pointers).


dclist (reporter)

Is this development source code is not available to the public?


signoles (manager)

No it is private. It is only accessible to Frama-C developers and to industrial partners with a one-to-one contract with us.

-Issue History
Date Modified Username Field Change
2010-03-28 22:52 dclist New Issue
2010-03-28 22:52 dclist Status new => assigned
2010-03-28 22:52 dclist Assigned To => signoles
2010-03-28 22:52 dclist File Added: scg-frama.ps
2010-03-29 10:40 signoles Note Added: 0000745
2010-03-29 10:40 signoles Status assigned => resolved
2010-03-29 10:40 signoles Fixed in Version => Frama-C Bore
2010-03-29 10:40 signoles Resolution open => fixed
2010-03-31 00:24 dclist Note Added: 0000749
2010-03-31 00:24 dclist Status resolved => feedback
2010-03-31 00:24 dclist Resolution fixed => reopened
2010-03-31 17:09 signoles Note Added: 0000750
2010-03-31 17:09 signoles Status feedback => resolved
2010-03-31 17:09 signoles Resolution reopened => fixed
2010-04-13 15:30 signoles Status resolved => new
2010-04-13 15:31 signoles Status new => closed
2018-11-30 10:47 signoles Category Plug-in > syntactic callgraph => Plug-in > callgraph
+Issue History