Frama-C Bug Tracking System

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0000989Frama-CPlug-in > syntactic callgraphpublic2011-10-19 09:302012-09-19 17:16
Assigned Tosignoles 
PrioritynormalSeverityminorReproducibilityhave not tried
PlatformOSOS Version
Product Version 
Target VersionFixed in VersionFrama-C Oxygen-20120901 
Summary0000989: Strange dot callgraphs
DescriptionFirst 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]...
TagsNo tags attached.
Attached Filesc file icon toto.c [^] (201 bytes) 2011-10-19 09:30 [Show Content]

- Relationships

-  Notes
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.

- Issue History
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 Checkin
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

Copyright © 2000 - 2017 MantisBT Team
Powered by Mantis Bugtracker