|Anonymous | Login | Signup for a new account||2019-08-19 04:46 CEST|
|Main | My View | View Issues | Change Log | Roadmap | Repositories|
|View Issue Details|
|ID||Project||Category||View Status||Date Submitted||Last Update|
|0002465||Frama-C||Plug-in > metrics||public||2019-07-17 22:10||2019-07-18 11:12|
|Status||closed||Resolution||no change required|
|Platform||OS||Windows , Ubuntu||OS Version||Windows 10|
|Target Version||Fixed in Version|
|Summary||0002465: Can we calculate or extract metrics from program dependency graph generated by frama-c|
|Description||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?|
|Tags||No tags attached.|
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".
|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 - 2019 MantisBT Team|