--- layout: plugin title: Metrics calculation description: Allows the user to compute various metrics from the source code. key: browsing ---
The Metrics plug-in allows the automatic computation of various measures on the source code.
It can be used to compute the following measures:
This plug-in can be partly used with the graphical user interface. In batch mode, the command line may look
like:
frama-c -metrics file1.c file2.c
The use of this plug-in is detailed in the short documentation.
This plug-in depends on results of the Value analysis plug-in for the -metrics-value-cover option.