Previous  Up  Next

Module Metrics_base

module Metrics_base: sig .. end
Defining base metrics and operations on those

Tag functions handling html tags for Format

val html_tag_functions : Format.formatter_tag_functions
val mk_hdr : int -> Format.formatter -> string -> unit
mk_hdr level ppf hdr_strg produces a title from hdr_strg with an underline of the same length. The character of the underline is set according to level: 
module BasicMetrics: sig .. end
Defining base metrics and operations on those

Filename utilities


exception No_suffix
val get_suffix : string -> string
type output_type =
| Html
| Text
Type of the generated report file. Automatically set according to the file extension.
val get_file_type : string -> output_type
get_file_type extension sets the output type according to extension. Raises an error if extension is not among supported extensions or is empty.
module VInfoMap: sig .. end
Map of varinfos sorted by name (and not by ids) 
val pretty_set : ((Cil_types.varinfo -> int -> unit) -> 'a -> 'b) ->
       Format.formatter -> 'a -> unit
Other pretty-printing and formatting utilities

Pretty print a varinfo set.

val is_entry_point : Cil_types.varinfo -> int -> bool
val number_entry_points : ((Cil_types.varinfo -> int -> int -> int) -> 'a -> int -> 'b) -> 'a -> 'b
Handling entry points informations
val pretty_entry_points : ((Cil_types.varinfo -> int -> unit) -> 'a -> unit) ->
       Format.formatter -> 'a -> unit
val map_cardinal_varinfomap : 'a Cil_datatype.Varinfo.Map.t -> int
val file_of_vinfodef : Cil_types.varinfo -> string
Get the filename where the definition of a varinfo occurs
val file_of_fundef : Cil_types.fundec -> string
Get the filename containing the function definition
val extract_fundef_name : 'a * ('b * 'c * 'd * 'e) -> 'b
val get_filename : Cabs.definition -> string
val consider_function : Cil_types.varinfo -> bool
consider_function vinfo returns false if the varinfo is not a function we are interested in. For example, builtins should not be part of the analysis and return false. Skip them using this auxiliary function.
val float_to_string : float -> string
Convert float to string with the following convention: