A | |
abstr [Lattice.Medium] | |
add [Plugin.GEN_STRING_SET] |
Add a string to the string set option.
|
add [Components.Components] | |
add [Components.Todolist] | |
add [Computation.SET_REF_OUTPUT] | |
add_annotation [Register] | |
add_binding [Model.Make.State.M] | |
add_choice [Plugin.INDEXED_VAL] |
adds a new choice for the option.
|
add_from_and_subst [Model.Make.Leaks] | |
add_leak [Model.Make.State] | |
add_leak [Model.Make.Leaks] | |
add_set [Plugin.GEN_STRING_SET] |
Add each sub-string (separated by "
\t *, \t *" regexp)
to the set option.
|
affect [Model.Make.Logic] | |
annotations2state [Lattice.S] | annotations2state dft l returns the state corresponding to the given
annotations.
|
annotations2state [Lattice.Medium] | |
annotations2state [Lattice.Base] | |
attributes2state [Model.Make.L] | |
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 | |
call_stack [Model.Make.State] | |
capitalize [String] |
Return a copy of the argument, with the first character set to uppercase.
|
change_loc_status [Model.Make.Register] | |
change_loc_status [Model.Make.State] | |
change_lval_exp [Model.Make.State] | |
change_lval_status [Model.Make.State] | |
clean [Model.Make.Register] | |
clear [Computation.REF_OUTPUT] |
Reset the reference to its default value.
|
clear_leaks [Model.Make.State] | |
cmp_of_rel [Model.Make.Logic] | |
combine [Model.Make.State] | |
combine [Model.Make.Leaks] | |
comparable [Model.Make.Logic] | |
compare [String] |
The comparison function for strings, with the same specification as
Pervasives.compare .
|
compare [Lattice.Boolean.B] | |
compare [Components.NodeKf] | |
concat [String] | String.concat sep sl concatenates the list of strings sl ,
inserting the separator string sep between each.
|
concr [Lattice.Medium] | |
constant [Lattice.S] |
State for a constant.
|
constant [Lattice.Medium] | |
constant [Lattice.Base] | |
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 [String] |
Return a copy of the given string.
|
create [String] | String.create n returns a fresh string of length n .
|
D | |
default [Model.Make.L] | |
defaultall [Model.Make.L] | |
E | |
empty [Model.Make.Leaks] | |
ensures [Model.Make.Logic] | |
equal [Model.Make.Logic] | |
equal [Components.NodeKf] | |
escaped [String] |
Return a copy of the argument, with special characters
represented by escape sequences, following the lexical
conventions of Objective Caml.
|
extend_logic_language [Register] | |
F | |
false_str [Lattice.Medium.S] | |
false_str [Lattice.Base.S] | |
field [Model.Make.Register] | |
fill [String] | String.fill s start len c modifies string s in place,
replacing len characters by c , starting at start .
|
filterAnnotations [Model.Make.L] | |
find [Components.Components] | |
find_exp_status [Model.Make.State] | |
find_loc_or_status [Model.Make.State] | |
find_loc_status [Model.Make.State] | |
find_loc_status_with_deps [Model.Make.State] | |
find_term_loc_or_status [Model.Make.Logic] | |
find_zone_status [Model.Make.State] | |
fold [Plugin.GEN_STRING_SET] | |
fold [Computation.SET_REF_OUTPUT] | |
fold_fold [Components.Make] | fold_fold f g init_f init_g folds g on each statement s of each
security component c .
|
fold_fold [Components.Components] | |
formals [Model.Make.Register] | |
G | |
get [Computation.REF_OUTPUT] |
Get the referenced value.
|
get [String] | String.get s n returns character number n in string s .
|
get_node_stmt [Components] | |
get_possible_values [Plugin.STRING] |
What are the acceptable values for this parameter.
|
get_range [Plugin.INT] |
What is the possible range of values for this parameter.
|
get_selection_after_slicing [Options] | |
get_set [Plugin.GEN_STRING_SET] |
Get a string which concatenates each string in the set with a
white space separation.
|
get_val [Plugin.INDEXED_VAL] |
the currently selected value.
|
globals [Model.Make.Register] | |
H | |
has_security_requirement [Components] | |
hash [Lattice.Boolean.B] | |
hash [Components.NodeKf] | |
I | |
incr [Plugin.INT] |
Increment the integer.
|
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 [Analysis.Make] | |
init [Register] | |
init [Components.Make] | |
init [Components.Memo] | |
is_concerned_by_security [Components.Make] |
Return
true if the given statement belongs to one security
component.
|
is_empty [Plugin.STRING_SET] | |
is_empty [Computation.SET_REF_OUTPUT] | |
is_included [Model.Make.State] | |
is_included [Model.Make.Leaks] | |
is_on [Options] | |
is_security_predicate [Components] | |
iter [String] | String.iter f s applies function f in turn to all
the characters of s .
|
iter [Plugin.GEN_STRING_SET] | |
iter [Components.Component] | |
iter [Computation.SET_REF_OUTPUT] | |
J | |
join_deps [Model.Make.State] | |
L | |
last_annotations [Register] | |
last_stmt [Model.Make.State] | |
length [String] |
Return the length (number of characters) of the given string.
|
locals [Model.Make.Register] | |
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.
|
lval_to_loc [Model.Make.State] | |
M | |
main [Register] | |
main [Register_gui] | |
make [String] | String.make n c returns a fresh string of length n ,
filled with the character c .
|
mem [Computation.SET_REF_OUTPUT] | |
memo [Components.Memo] | |
mk_init [Components.Todolist] | |
N | |
nb_leaks [Model.Make.Leaks] | |
new_leak [Model.Make.Leaks] | |
O | |
off [Plugin.BOOL] |
Set the boolean to
false .
|
on [Plugin.BOOL] |
Set the boolean to
true .
|
P | |
pop_call [Model.Make.State] | |
pop_function [Components.Memo] | |
possible_annotations [Lattice.S] | |
possible_annotations [Lattice.Medium] | |
possible_annotations [Lattice.Base] | |
pretty [Model.Make.State] | |
pretty [Lattice.Boolean.B] | |
pretty_kind [Components] |
Debugging purpose only
|
pretty_status [Model.Make.State] |
Debugging purpose
|
print [Model.Make.Leaks] | |
print_all [Model.Make.Leaks] | |
print_call_stack [Model.Make.Leaks] | |
print_leak [Model.Make.Leaks] | |
print_results [Model.Make.State] | |
print_stat [Model.Make.Leaks] | |
priv [Lattice.Medium] | |
priv [Lattice.Base] | |
pub [Lattice.Medium] | |
pub [Lattice.Base] | |
push_call [Model.Make.State] | |
push_function [Components.Memo] | |
R | |
raise_invalid_lattice [Register] | |
rcontains_from [String] | String.rcontains_from s stop c tests if character c
appears in s before position stop+1 .
|
remove [Plugin.STRING_SET] |
Remove a string from the option.
|
remove_set [Plugin.STRING_SET] |
Remove each sub-string (separated by "
\t *, \t *" regexp)
from the option.
|
requires [Model.Make.Logic] | |
reset [Model.Make.State] | |
return [Model.Make.Logic] | |
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 | |
search_security_requirements [Components] | |
security_highlighter [Register_gui] | |
security_name [Register] | |
security_selector [Register_gui] | |
security_type [Register] | |
self [Components.Components] | |
set [Computation.REF_OUTPUT] |
Change the referenced value.
|
set [String] | String.set s n c modifies string s in place,
replacing the character number n by c .
|
set_possible_values [Plugin.STRING] |
Set what are the acceptable values for this parameter.
|
set_range [Plugin.INT] |
Set what is the possible range of values for this parameter.
|
set_set [Plugin.GEN_STRING_SET] |
Set each sub-string (separated by "
\t *, \t *" regexp)
to the set option.
|
slice [Components.Make] |
Slice the application according to the security components:
all the resulting statement belongs to a security components.
|
state_name [Model] | |
status_of_deps [Model.Make.State] | |
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 .
|
T | |
to_string [Lattice.Boolean.B] | |
true_str [Lattice.Medium.S] | |
true_str [Lattice.Base.S] | |
typ [Model.Make.Register] | |
type_attributes2state [Model.Make.L] | |
U | |
uncapitalize [String] |
Return a copy of the argument, with the first character set to lowercase.
|
uncomparable [Model.Make.Logic] | |
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.
|
use_ctrl_dependencies [Lattice.S] |
Are control dependencies relevant?
|
use_ctrl_dependencies [Lattice.Medium] | |
use_ctrl_dependencies [Lattice.Strong] | |
use_ctrl_dependencies [Lattice.Weak] | |
use_ctrl_dependencies [Components] | |
V | |
variable [Model.Make.Register] | |
variable [Lattice.S] |
Default state for a variable.
|
variable [Lattice.Medium] | |
variable [Lattice.Base] | |
W | |
warn_todo [Model.Make.Logic] |