Index of values


( * ) [Integer]
(+) [Integer]
(-) [Integer]
(/) [Integer]
(<) [Integer]
(<=) [Integer]
(>) [Integer]
(>=) [Integer]
(asr) [Integer]
(land) [Integer]
(lor) [Integer]
(lsl) [Integer]
(lsr) [Integer]
(lxor) [Integer]
(mod) [Integer]
(~-) [Integer]

A
add_default_behavior [Rewrite]
add_field_representant [Retype]
add_inheritance_relation [Retype]
add_pending_statement [Common]
adding_statement_mode [Common]
all_integral_types [Common]
almost_integer_type [Common]
annotate_code_strlen [Rewrite]
annotate_overflow [Rewrite]
annotation [Interp]
app_term_type [Common]
apply_if_dir_exist [Register]
arraylen_attr_name [Common]
assert_ [Interp]
assertion [Interp]
assigns [Interp]
attach_detach_mode [Common]
attach_globaction [Common]
attach_global [Common]
attach_globinit [Common]

B
binop [Interp]
bits_sizeof [Common]
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.
block [Interp]
boolean_const [Interp]
boolean_const_of_expr [Interp]
boolean_expr [Interp]
built_behavior_ids [Interp]

C
capitalize [String]
Return a copy of the argument, with the first character set to uppercase.
change [Common]
change_idx [Common]
check_types [Common]
checking [Common]
classes [Retype.UnionFind]
coerce_floats [Interp]
compare [String]
The comparison function for strings, with the same specification as Pervasives.compare.
concat [String]
String.concat sep sl concatenates the list of strings sl, inserting the separator string sep between each.
conjunct [Interp]
const [Interp]
const_of_expr [Interp]
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.
create_struct_hierarchy [Retype]
ctype [Interp]

D
debugtab [Norm]
default_field_modifiers [Interp]
destruct_integer [Rewrite]
destruct_pointer [Rewrite]
detach_globactions [Common]
detach_globals [Common]
detach_globinits [Common]
do_and_update_globals [Common]
do_on_term [Common]
do_on_term_lval [Common]
do_on_term_offset [Common]

E
escaped [String]
Return a copy of the argument, with special characters represented by escape sequences, following the lexical conventions of Objective Caml.
expand_struct_assign [Norm]
expr [Interp]

F
fatal [Common]
file [Interp]
fill [String]
String.fill s start len c modifies string s in place, replacing len characters by c, starting at start.
fill_offset_size_in_fields [Rewrite]
filter_alphanumeric [Common]
flatten_multi_dim_array [Common]
float_model [Interp]
float_rounding_mode [Interp]
force_app_term_type [Common]
free_function [Common]

G
gather_initialization [Rewrite]
generated_union_types [Norm]
get [String]
String.get s n returns character number n in string s.
get_struct_info [Common]
get_struct_name [Common]
get_unique_field [Common]
globactions [Common]
global [Interp]
globals [Common]
globinits [Common]

I
imbounded [Jessie_options]
imexact [Jessie_options]
immodulo [Jessie_options]
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.
insert_pending_statements [Common]
instruction [Interp]
int_model [Jessie_options]
integral_expr [Interp]
integral_type [Interp]
integral_type_size_in_bits [Common]
integral_type_size_in_bytes [Common]
integral_types [Interp]
isLogicConstant [Interp]
is_array_reference_type [Common]
is_assert_function [Common]
is_base_addr [Common]
is_calloc_function [Common]
is_free_function [Common]
is_last_offset [Common]
is_malloc_function [Common]
is_predefined_name [Common]
is_realloc_function [Common]
is_reference_type [Common]
is_unknown_location [Common]
iter [String]
String.iter f s applies function f in turn to all the characters of s.

J
jessie_local [Jessie_config]
jessie_reserved_names [Common]

K
keep_only_declared_nb_of_arguments [Interp]

L
label [Interp]
length [String]
Return the length (number of characters) of the given string.
lift_offset [Common]
lift_toffset [Common]
locate [Interp]
logic_label [Interp]
logic_labels [Interp]
logic_labels_assoc [Interp]
logic_names_overloading [Rewrite]
logic_type_name [Common]
logic_variable [Interp]
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.
ltype [Interp]
lval [Interp]

M
main [Register]
make [String]
String.make n c returns a fresh string of length n, filled with the character c.
malloc_function [Common]
max_int [Integer]
max_value_of_integral_type [Common]
min_int [Integer]
min_value_of_integral_type [Common]
minus_one [Integer]
mkInfo [Common]
mkStmt [Common]
mkStructEmpty [Common]
mkStructSingleton [Common]
mkTRef [Common]
mkTRefArray [Common]
mkalloc [Common]
mkalloc_array [Common]
mkalloc_array_statement [Common]
mkalloc_statement [Common]
mkconjunct [Interp]
mkdecl [Interp]
mkexpr [Interp]
mkfree [Common]
mkfree_statement [Common]
mkidentifier [Interp]
mkpred [Common]
mktag [Interp]
mkterm [Common]
mktype [Interp]

N
name_of_assert [Common]
name_of_calloc [Common]
name_of_default_behavior [Common]
name_of_free [Common]
name_of_hint_assertion [Common]
name_of_integral_type [Common]
name_of_malloc [Common]
name_of_padding_type [Common]
name_of_realloc [Common]
name_of_safety_behavior [Common]
name_of_string_declspec [Common]
name_of_strlen [Common]
name_of_valid_string [Common]
name_of_valid_wstring [Common]
name_of_wcslen [Common]
name_with_profile [Interp]
named_pred [Interp]
native_type_of_fkind [Interp]
negative [Integer]
nonpositive [Integer]
normalize [Norm]
notimplemented [Common]
null_expr [Interp]

O
offset_list [Common]
one [Integer]
one_class [Retype.UnionFind]
one_expr [Interp]

P
pending_statements_at_beginning [Common]
pending_statements_at_end [Common]
power_of_two [Integer]
pp_int_model [Jessie_options]
pragma [Interp]
pragmas [Interp]
pred [Interp]
pred_has_name [Interp]
predefined_name [Common]
prefer [Retype.TypeElem]
prefer [Retype.FieldElem]
print_to_stdout [Common]
product [Interp]

R
rank [Retype.UnionFind]
ranks [Retype.UnionFind]
rcontains_from [String]
String.rcontains_from s stop c tests if character c appears in s before position stop+1.
reference_of_array [Common]
reference_size [Common]
reg_pos [Interp]
relation [Interp]
remove_array_address [Norm]
remove_pred_name [Interp]
remove_useless_casts [Norm]
rename_entities [Rewrite]
replace_addrof_array [Rewrite]
replace_string_constants [Rewrite]
repr [Retype.UnionFind]
reserved_logic_name [Common]
reserved_name [Common]
return_vars [Norm]
retype [Retype]
retype_address_taken [Norm]
retype_array_variables [Norm]
retype_base_pointer [Norm]
retype_fields [Norm]
retype_int_field [Retype]
retype_logic_functions [Norm]
retype_struct_variables [Norm]
retype_type_tags [Norm]
rewrite [Rewrite]
rewrite_cursor_integers [Rewrite]
rewrite_cursor_pointers [Rewrite]
rewrite_pointer_compare [Rewrite]
rewrite_void_pointer [Rewrite]
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.
run [Register]
run_and_catch_error [Register]

S
same_class [Retype.UnionFind]
set [String]
String.set s n c modifies string s in place, replacing the character number n by c.
signal_change [Common]
size_in_bytes [Common]
spec [Interp]
statement [Interp]
statement_list [Interp]
string_explode [Common]
string_implode [Common]
strip_float_suffix [Interp]
struct_type_for_void [Common]
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.
sub_list [Retype]
subtype [Retype]

T
table [Retype.UnionFind]
tag [Interp]
term [Interp]
term_lhost [Interp]
term_lval [Interp]
term_of_var [Common]
terms [Interp]
terms_lval [Interp]
translate_unions [Norm]
translated_name [Interp]
translated_names_table [Interp]
treat_integer_model [Register]
true_expr [Interp]
type_conversion [Interp]
type_conversion_table [Interp]
type_conversions [Interp]
type_name [Common]
type_of_padding [Interp]
type_to_parent_type [Retype]

U
uncapitalize [String]
Return a copy of the argument, with the first character set to lowercase.
unify [Retype.UnionFind]
unique_name_generator [Common]
unique_name_if_empty [Common]
unop [Interp]
unsupported [Common]
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
visit_and_push_statements [Common]
visit_and_push_statements_visitor [Common]
visit_and_trace_cil [Common]
visit_and_trace_framac [Common]
visit_and_update_globals [Common]
visit_until_convergence [Common]
void_expr [Interp]

W
warn_general [Common]
warning [Common]

Z
zero [Integer]
zero_expr [Interp]
zone [Interp]