Can we calculate or extract metrics from program dependency graph generated by frama-c
ID0002465: This issue was created automatically from Mantis Issue 2465. Further discussion may take place here.
|ID0002465||Frama-C||Plug-in > metrics||public||2019-07-17||2019-07-18|
|Reporter||ainne26||Assigned To||maroneze||Resolution||no change required|
|Platform||-||OS||Windows , Ubuntu||OS Version||Windows 10|
|Product Version||-||Target Version||-||Fixed in Version||-|
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?
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information