Index of values


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_gui]
main [Register]
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]