Frama-C Bug Tracking System

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0002465Frama-CPlug-in > metricspublic2019-07-17 22:102019-07-18 11:12
Assigned Tomaroneze 
StatusclosedResolutionno change required 
PlatformOSWindows , Ubuntu OS VersionWindows 10
Product Version 
Target VersionFixed in Version 
Summary0002465: Can we calculate or extract metrics from program dependency graph generated by frama-c
DescriptionI generate program dependency graphs of c code by using frama-c. Now I have to extract or calculate metrics from these program dependency graphs for further processing. Can frama-c calculate metrics from program dependency graphs?
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
maroneze (administrator)
2019-07-18 11:12

I'm sorry, the Mantis BTS (Bug Tracker System) is intended for bug reports, not for general advice and information about Frama-C. You have already asked very similar questions in many different channels (StackOverflow, Github, Frama-C mailing list), some of which are more appropriate for this kind of questions. The lack of answers probably means either that the question is too broad, or due to it being summer, people are not available for answering it. The short answer is "it is possible to use Frama-C to calculate metrics for dependency graphs, but it requires programming your own script/plugin in OCaml".

- Issue History
Date Modified Username Field Change
2019-07-17 22:10 ainne26 New Issue
2019-07-17 22:10 ainne26 Status new => assigned
2019-07-17 22:10 ainne26 Assigned To => maroneze
2019-07-18 09:06 maroneze Assigned To maroneze =>
2019-07-18 11:12 maroneze Note Added: 0006826
2019-07-18 11:12 maroneze Status assigned => closed
2019-07-18 11:12 maroneze Assigned To => maroneze
2019-07-18 11:12 maroneze Resolution open => no change required

Copyright © 2000 - 2020 MantisBT Team
Powered by Mantis Bugtracker