Frama-C Bug Tracking System - Frama-C
View Issue Details
0000989Frama-CPlug-in > callgraphpublic2011-10-19 09:302018-11-30 10:47
Anne 
signoles 
normalminorhave not tried
closedfixed 
 
Frama-C Oxygen-20120901 
0000989: Strange dot callgraphs
First of all, the callgraph shown in the GUI is not the same than the one generated with the [-cg] option. In the GUI, some of the functions are not displayed at all (g1 and g2 in the enclosed example).

Moreover, in both graphs (from the GUI and the command line), there is an edge between [g] and [nxt] even if [g] doesn't directly call [nxt]...
No tags attached.
c toto.c (201) 2011-10-19 09:30
https://bts.frama-c.com/file_download.php?file_id=282&type=bug
Issue History
2011-10-19 09:30AnneNew Issue
2011-10-19 09:30AnneStatusnew => assigned
2011-10-19 09:30AnneAssigned To => signoles
2011-10-19 09:30AnneFile Added: toto.c
2011-10-19 19:11signolesStatusassigned => confirmed
2012-01-27 19:37svnCheckin
2012-01-27 19:38signolesNote Added: 0002634
2012-01-27 19:38signolesStatusconfirmed => resolved
2012-01-27 19:38signolesResolutionopen => fixed
2012-09-19 17:15signolesFixed in Version => Frama-C Oxygen-20120901
2012-09-19 17:16signolesStatusresolved => closed
2018-11-30 10:47signolesCategoryPlug-in > syntactic callgraph => Plug-in > callgraph

Notes
(0002634)
signoles   
2012-01-27 19:38   
You have to click on the root of the services <g> to see <g1> and <g2>. The edge between [g] and [nxt] is now not shown.