View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] | ||||||||
ID | Project | Category | View Status | Date Submitted | Last Update | ||||
---|---|---|---|---|---|---|---|---|---|
0000989 | Frama-C | Plug-in > callgraph | public | 2011-10-19 09:30 | 2018-11-30 10:47 | ||||
Reporter | Anne | ||||||||
Assigned To | signoles | ||||||||
Priority | normal | Severity | minor | Reproducibility | have not tried | ||||
Status | closed | Resolution | fixed | ||||||
Product Version | |||||||||
Target Version | Fixed in Version | Frama-C Oxygen-20120901 | |||||||
Summary | 0000989: Strange dot callgraphs | ||||||||
Description | 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]... | ||||||||
Tags | No tags attached. | ||||||||
Attached Files |
|
![]() |
|
signoles (manager) 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. |
![]() |
|||
Date Modified | Username | Field | Change |
---|---|---|---|
2011-10-19 09:30 | Anne | New Issue | |
2011-10-19 09:30 | Anne | Status | new => assigned |
2011-10-19 09:30 | Anne | Assigned To | => signoles |
2011-10-19 09:30 | Anne | File Added: toto.c | |
2011-10-19 19:11 | signoles | Status | assigned => confirmed |
2012-01-27 19:37 | svn | ||
2012-01-27 19:38 | signoles | Note Added: 0002634 | |
2012-01-27 19:38 | signoles | Status | confirmed => resolved |
2012-01-27 19:38 | signoles | Resolution | open => fixed |
2012-09-19 17:15 | signoles | Fixed in Version | => Frama-C Oxygen-20120901 |
2012-09-19 17:16 | signoles | Status | resolved => closed |
2018-11-30 10:47 | signoles | Category | Plug-in > syntactic callgraph => Plug-in > callgraph |