module Metrics_parameters: sig
.. end
Activate metrics
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 computetd
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 Libc: Parameter_sig.Bool