Up
Index of values
A
add
[
State_builder.Hashtbl
]
Add a new binding.
annotation_visible
[
Transform.BoolInfo
]
B
body_visible
[
Transform.BoolInfo
]
build_cil_file
[
Filter.F
]
C
called_info
[
Transform.BoolInfo
]
clear
[
State_builder.Hashtbl
]
Clear the table.
clear_tables
[
Globs
]
cond_edge_visible
[
Transform.BoolInfo
]
copy
[
Datatype.S
]
Deep copy: no possible sharing between
x
and
copy x
.
D
debug
[
Globs
]
debug'
[
Globs
]
dkey
[
Globs
]
F
fct_info
[
Transform.BoolInfo
]
fct_name
[
Transform.BoolInfo
]
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.
fold
[
State_builder.Hashtbl
]
fold_sorted
[
State_builder.Hashtbl
]
fun_allocates_visible
[
Transform.BoolInfo
]
fun_assign_visible
[
Transform.BoolInfo
]
fun_deps_visible
[
Transform.BoolInfo
]
fun_frees_visible
[
Transform.BoolInfo
]
fun_postcond_visible
[
Transform.BoolInfo
]
fun_precond_visible
[
Transform.BoolInfo
]
fun_variant_visible
[
Transform.BoolInfo
]
G
get
[
Register
]
get
[
Sparecode.Register
]
Remove in each function what isn't used to compute its outputs, or its annotations when
select_annot
is true, or its slicing pragmas when
select_slice_pragmas
is true.
get_marks
[
Spare_marks
]
I
inst_visible
[
Transform.BoolInfo
]
iter
[
State_builder.Hashtbl
]
iter_sorted
[
State_builder.Hashtbl
]
J
journalized_get
[
Register
]
journalized_rm_unused_globals
[
Register
]
K
key_visible
[
Transform.BoolInfo
]
key_visible
[
Spare_marks
]
kf_visible
[
Spare_marks
]
Useful mainly if there has been some Pdg.Top
L
label_visible
[
Transform.BoolInfo
]
length
[
State_builder.Hashtbl
]
Length of the table.
loc_var_visible
[
Transform.BoolInfo
]
M
main
[
Register
]
make_type
[
Datatype.Hashtbl
]
mem
[
State_builder.Hashtbl
]
memo
[
State_builder.Hashtbl
]
Memoization.
N
nearest_elt_ge
[
Datatype.Set
]
nearest_elt_le
[
Datatype.Set
]
O
off
[
Parameter_sig.Bool
]
Set the boolean to
false
.
on
[
Parameter_sig.Bool
]
Set the boolean to
true
.
P
param_visible
[
Transform.BoolInfo
]
R
remove
[
State_builder.Hashtbl
]
replace
[
State_builder.Hashtbl
]
Add a new binding.
res_call_visible
[
Transform.BoolInfo
]
result_visible
[
Transform.BoolInfo
]
rm_unused_decl
[
Globs
]
rm_unused_globals
[
Register
]
rm_unused_globals
[
Sparecode.Register
]
Remove unused global types and variables from the given project (the current one if no project given).
run
[
Register
]
S
select_useful_things
[
Spare_marks
]
T
term_visible
[
Transform.BoolInfo
]
U
unjournalized_rm_unused_globals
[
Register
]
used_compinfo
[
Globs
]
used_enuminfo
[
Globs
]
used_typeinfo
[
Globs
]
used_variables
[
Globs
]
V
var_init
[
Globs
]