Frama-C Bug Tracking System - Frama-C
View Issue Details
0002465Frama-CPlug-in > metricspublic2019-07-17 22:102019-07-18 11:12
closedno change required 
Windows , Ubuntu Windows 10
0002465: Can we calculate or extract metrics from program dependency graph generated by frama-c
I 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?
No tags attached.
Issue History
2019-07-17 22:10ainne26New Issue
2019-07-17 22:10ainne26Statusnew => assigned
2019-07-17 22:10ainne26Assigned To => maroneze
2019-07-18 09:06maronezeAssigned Tomaroneze =>
2019-07-18 11:12maronezeNote Added: 0006826
2019-07-18 11:12maronezeStatusassigned => closed
2019-07-18 11:12maronezeAssigned To => maroneze
2019-07-18 11:12maronezeResolutionopen => no change required

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