Index of values


A
add [State_builder.Hashtbl]
Add a new binding.
add_code_annot_stats [Metrics_acsl]
add_function_contract_stats [Metrics_acsl]
all_funs [Metrics_coverage]
apply_then_set [Metrics_base.BasicMetrics]
Update a reference from a pure functional function.

B
blit [String]
Same as Bytes.blit_string.

C
capitalize [String]
Return a copy of the argument, with the first character set to uppercase.
cell_type_to_string [Metrics_base.BasicMetrics]
clear [State_builder.Hashtbl]
Clear the table.
clear [State_builder.Ref]
Reset the reference to its default value.
clear_container [Metrics_gui]
Remove all sub-elements of a GUI object
coerce_panel_to_ui [Metrics_gui]
Returning a value to register in Frama-C's GUI
compare [String]
The comparison function for strings, with the same specification as Pervasives.compare.
compose [Metrics_cabs.Halstead]
compute [Register_gui.ValueCoverageGUI]
compute [Register_gui.CyclomaticMetricsGUI]
compute [Register_gui.HalsteadMetricsGUI]
compute [Metrics_coverage]
compute [Metrics_acsl]
compute_coverage_by_fun [Metrics_coverage]
compute_metrics [Metrics_cabs.Halstead]
compute_on_cabs [Metrics_cabs]
Main entry point to compute various metrics on Cabs AST instead of CIL AST.
compute_on_cilast [Metrics_cilast]
Compute metrics on whole CIL AST
compute_operands [Metrics_cabs.Halstead]
compute_operators [Metrics_cabs.Halstead]
compute_semantic [Metrics_coverage]
Functions analyzed by the value analysis
compute_syntactic [Metrics_coverage]
List of functions that can be syntactically reached from the function
concat [String]
String.concat sep sl concatenates the list of strings sl, inserting the separator string sep between each.
consider_function [Metrics_base]
consider_function vinfo returns false if the varinfo is not a function we are interested in.
contains [String]
String.contains s c tests if character c appears in the string s.
contains_from [String]
String.contains_from s start c tests if character c appears in s after position start.
copy [Datatype.S]
Deep copy: no possible sharing between x and copy x.
copy [String]
Return a copy of the given string.
create [String]
String.create n returns a fresh byte sequence of length n.
css [Css_html]
cyclo [Metrics_base.BasicMetrics]
Compute cyclomatic complexity from base_metrics record type.

D
display_as_table [Metrics_gui]
Display the table_contents matrix as a GTK table
display_result [Register_gui.ValueCoverageGUI]
display_result [Register_gui.CyclomaticMetricsGUI]
display_result [Register_gui.HalsteadMetricsGUI]
dump [Metrics_acsl]
dump_acsl_stats [Metrics_acsl]
dump_acsl_stats_html [Metrics_acsl]
dump_html [Metrics_cilast]
dump_html_by_function [Metrics_acsl]
dump_html_global [Metrics_acsl]

E
empty_acsl_stat [Metrics_acsl]
empty_metrics [Metrics_base.BasicMetrics]
Initial empty values for metrics computing.
escaped [String]
Return a copy of the argument, with special characters represented by escape sequences, following the lexical conventions of OCaml.
extract_fundef_name [Metrics_base]

F
file_of_fundef [Metrics_base]
Get the filename containing the function definition
file_of_vinfodef [Metrics_base]
Get the filename where the definition of a varinfo occurs
fill [String]
String.fill s start len c modifies byte sequence s in place, replacing len bytes with c, starting at start.
find [State_builder.Hashtbl]
Return the current binding of the given key.
find_all [State_builder.Hashtbl]
Return the list of all data associated with the given key.
float_to_string [Metrics_base]
Convert float to string with the following convention: if the float is an integer (ie, it has no digits after the decimal point), print it as such;, otherwise, print the first two digits after the decimal point.
fold [Metrics_cabs.Halstead]
fold [State_builder.Hashtbl]
fold_sorted [State_builder.Hashtbl]

G
get [State_builder.Ref]
Get the referenced value.
get [String]
String.get s n returns the character at index n in string s.
get_file_type [Metrics_base]
get_file_type extension sets the output type according to extension.
get_filename [Metrics_base]
get_global_stats [Metrics_acsl]
get_kf_stats [Metrics_acsl]
get_metrics [Metrics_cilast]
get_metrics [Metrics_cabs.Halstead]
get_suffix [Metrics_base]
gui [Register_gui]

H
highlight [Register_gui.ValueCoverageGUI]
highlighter [Register_gui.ValueCoverageGUI]
html_tag_functions [Metrics_base]

I
id_from_init [Metrics_cabs.Halstead]
incr_asserts [Metrics_acsl]
incr_assigns [Metrics_base.BasicMetrics]
incr_calls [Metrics_base.BasicMetrics]
incr_dpoints [Metrics_base.BasicMetrics]
incr_exits [Metrics_base.BasicMetrics]
incr_f_assigns [Metrics_acsl]
incr_f_assumes [Metrics_acsl]
incr_f_behaviors [Metrics_acsl]
incr_f_ensures [Metrics_acsl]
incr_f_froms [Metrics_acsl]
incr_f_requires [Metrics_acsl]
incr_funcs [Metrics_base.BasicMetrics]
Helpers for metrics purposes for single increment steps
incr_glob_vars [Metrics_base.BasicMetrics]
incr_gotos [Metrics_base.BasicMetrics]
incr_ifs [Metrics_base.BasicMetrics]
incr_invariants [Metrics_acsl]
incr_loop_assigns [Metrics_acsl]
incr_loop_froms [Metrics_acsl]
incr_loops [Metrics_base.BasicMetrics]
incr_ptrs [Metrics_base.BasicMetrics]
incr_s_assigns [Metrics_acsl]
incr_s_assumes [Metrics_acsl]
incr_s_behaviors [Metrics_acsl]
incr_s_ensures [Metrics_acsl]
incr_s_froms [Metrics_acsl]
incr_s_requires [Metrics_acsl]
incr_slocs [Metrics_base.BasicMetrics]
incr_variants [Metrics_acsl]
index [String]
String.index s c returns the index of the first occurrence of character c in string s.
index_from [String]
String.index_from s i c returns the index of the first occurrence of character c in string s after position i.
init [String]
String.init n f returns a string of length n, with character i initialized to the result of f i (called in increasing index order).
init_panel [Metrics_gui]
The panel of Metrics has two parts: The upper part contains the various choices of the user;, The bottom part displays the result.
is_entry_point [Metrics_base]
iter [State_builder.Hashtbl]
iter [String]
String.iter f s applies function f in turn to all the characters of s.
iter_sorted [State_builder.Hashtbl]
iteri [String]
Same as String.iter, but the function is applied to the index of the element as first argument (counting from 0), and the character itself as second argument.

L
labels [Metrics_base.BasicMetrics]
length [State_builder.Hashtbl]
Length of the table.
length [String]
Return the length (number of characters) of the given string.
lowercase [String]
Return a copy of the argument, with all uppercase letters translated to lowercase, including accented letters of the ISO Latin-1 (8859-1) character set.

M
main [Register]
make [String]
String.make n c returns a fresh string of length n, filled with the character c.
map [String]
String.map f s applies function f in turn to all the characters of s (in increasing index order) and stores the results in a new string that is returned.
map_cardinal_varinfomap [Metrics_base]
mapi [String]
String.mapi f s calls f with each character of s and its index (in increasing index order) and stores the results in a new string that is returned.
mem [State_builder.Hashtbl]
memo [State_builder.Hashtbl]
Memoization.
mk_bi_label [Register_gui]
mk_hdr [Metrics_base]
mk_hdr level ppf hdr_strg produces a title from hdr_strg with an underline of the same length.

N
name [Register_gui.ValueCoverageGUI]
name [Register_gui.CyclomaticMetricsGUI]
name [Register_gui.HalsteadMetricsGUI]
number_entry_points [Metrics_base]
Handling entry points informations

P
percent_coverage [Metrics_coverage]
pp_base_metrics [Metrics_base.BasicMetrics]
Pretty printers for base metrics as text or html.
pp_base_metrics_as_html_row [Metrics_base.BasicMetrics]
pp_cell [Metrics_base.BasicMetrics]
pp_cell_default [Metrics_base.BasicMetrics]
pp_cell_type_html [Metrics_base.BasicMetrics]
pp_fun_set_by_file [Metrics_coverage]
pp_funinfo [Metrics_cilast]
pp_int [Metrics_base.BasicMetrics]
pp_metrics [Metrics_cabs.Halstead]
pp_reached_from_function [Metrics_coverage]
Pretty-print the functions that can be syntactically reached from the parameter
pp_stmts_reached_by_function [Metrics_coverage]
pp_strg [Metrics_base.BasicMetrics]
pp_unreached_calls [Metrics_coverage]
pp_value_coverage [Metrics_coverage]
Return two fonctions that pretty-print the coverage reached by the value analysis wrt.
pp_with_funinfo [Metrics_cilast]
pretty_acsl_stats [Metrics_acsl]
pretty_acsl_stats_html [Metrics_acsl]
pretty_entry_points [Metrics_base]
pretty_set [Metrics_base]
Other pretty-printing and formatting utilities

R
rcontains_from [String]
String.rcontains_from s stop c tests if character c appears in s before position stop+1.
register [Register_gui.ValueCoverageGUI]
register [Register_gui.CyclomaticMetricsGUI]
register [Register_gui.HalsteadMetricsGUI]
register_final [Register_gui]
register_metrics [Metrics_gui]
Add a new metrics to its dedicated panel.
remove [State_builder.Hashtbl]
replace [State_builder.Hashtbl]
Add a new binding.
reset_panel [Metrics_gui]
Reset metrics panel to pristine conditions by removeing children from bottom container
result [Register_gui.ValueCoverageGUI]
rindex [String]
String.rindex s c returns the index of the last occurrence of character c in string s.
rindex_from [String]
String.rindex_from s i c returns the index of the last occurrence of character c in string s before position i+1.

S
set [State_builder.Ref]
Change the referenced value.
set [String]
String.set s n c modifies byte sequence s in place, replacing the byte at index n with c.
str_values [Metrics_base.BasicMetrics]
sub [String]
String.sub s start len returns a fresh string of length len, containing the substring of s that starts at position start and has length len.
syntactic [Register]

T
to_list [Metrics_cabs.Halstead]
to_list [Metrics_base.BasicMetrics]
Matrix-like representation of the record in "Title: value" stytle
to_varinfo_map [Metrics_base.VInfoMap]
treat_behavior [Metrics_acsl]
trim [String]
Return a copy of the argument, without leading and trailing whitespace.

U
uncapitalize [String]
Return a copy of the argument, with the first character set to lowercase.
update_val [Metrics_cabs.Halstead]
update_val_incr [Metrics_cabs.Halstead]
uppercase [String]
Return a copy of the argument, with all lowercase letters translated to uppercase, including accented letters of the ISO Latin-1 (8859-1) character set.

V
value [Register]