Module Metrics_coverage

module Metrics_coverage: sig .. end
List of functions that can be syntactically reached from the function

class coverageAuxVisitor : object .. end
class callableFunctionsVisitor : object .. end
class deadCallsVisitor : Format.formatter -> syntactic:Cil_datatype.Varinfo.Set.t -> semantic:Cil_datatype.Varinfo.Set.t -> (Cil_types.varinfo * Cil_types.init) list -> object .. end
class coverageByFun : object .. end
val compute_coverage_by_fun : Cil_datatype.Varinfo.Set.t ->
(Cil_types.kernel_function * int * int * float) list
val pp_unreached_calls : Format.formatter ->
syntactic:Cil_datatype.Varinfo.Set.t ->
semantic:Cil_datatype.Varinfo.Set.t ->
(Cil_types.varinfo * Cil_types.init) list -> unit
val compute_syntactic : Kernel_function.t -> Cil_datatype.Varinfo.Set.t
List of functions that can be syntactically reached from the function
val compute_semantic : unit -> Cil_datatype.Varinfo.Set.t
Functions analyzed by the value analysis
val pp_fun_set_by_file : Format.formatter -> Cil_datatype.Varinfo.Set.t -> unit
type reachable_functions = {
   syntactic : Cil_datatype.Varinfo.Set.t;
   semantic : Cil_datatype.Varinfo.Set.t;
}
val percent_coverage : reachable_functions -> float
val all_funs : unit -> Cil_datatype.Varinfo.Set.t
val compute : unit ->
reachable_functions *
(Cil_datatype.Varinfo.Hashtbl.key * Cil_types.init) list
val pp_value_coverage : unit -> (Format.formatter -> unit) * (Format.formatter -> unit)
Return two fonctions that pretty-print the coverage reached by the value analysis wrt. the functions syntactically reachable from main
val pp_reached_from_function : Format.formatter -> Kernel_function.t -> unit
Pretty-print the functions that can be syntactically reached from the parameter
val pp_stmts_reached_by_function : Format.formatter -> unit
val compute_syntactic : Kernel_function.t -> Cil_datatype.Varinfo.Set.t
List of functions that can be syntactically reached from the function