module Metrics_parameters:sig
..end
include Plugin.S
module Enabled:Parameter_sig.With_output
Activate metrics
module ByFunction:Parameter_sig.Bool
Activate metrics by function
module ValueCoverage:Parameter_sig.With_output
Give an estimation about value analysis code penetration.
module AstType:Parameter_sig.String
Set the ASTs on which the metrics should be computed
module OutputFile:Parameter_sig.String
Pretty print metrics to the given file.
module SyntacticallyReachable:Parameter_sig.Kernel_function_set
Set of functions for which we compute the functions they may call
module LocalsSize:Parameter_sig.Kernel_function_set
Compute and print the total size of local variables for all functions in this set (option -metrics-locals-size)
module Libc:Parameter_sig.Bool