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] | String.blit src srcoff dst dstoff len copies len characters
from string src , starting at character number srcoff , to
string dst , starting at character number dstoff .
|
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 string 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 string s in place,
replacing len characters by 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 character number 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 character number of the first
occurrence of character c in string s .
|
index_from [String] | String.index_from s i c returns the character number of the
first occurrence of character c in string s after position i .
|
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 and stores the results in a new string that
is returned.
|
map_cardinal_varinfomap [Metrics_base] | |
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 character number of the last
occurrence of character c in string s .
|
rindex_from [String] | String.rindex_from s i c returns the character number 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 string s in place,
replacing the character number n by 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] |