Frama-C Bug Tracking System

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0000435Frama-CPlug-in > callgraphpublic2010-03-28 22:522018-11-30 10:47
Reporterdclist 
Assigned Tosignoles 
PrioritynormalSeverityminorReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
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;
    else
        return fact(n-1);
}

void foo(void)
{
    printf("foo\n");
}

int main(void)
{
    fact(10);
    foo();
}
TagsNo tags attached.
Attached Files? file icon scg-frama.ps [^] (7,343 bytes) 2010-03-28 22:52

- Relationships

-  Notes
(0000745)
signoles (manager)
2010-03-29 10:40

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).
(0000749)
dclist (reporter)
2010-03-31 00:24

Is this development source code is not available to the public?
(0000750)
signoles (manager)
2010-03-31 17:09

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


Copyright © 2000 - 2018 MantisBT Team
Powered by Mantis Bugtracker