|
( * ) [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] |
|
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] |
|