Up
Index of values
A
all_status
[
Generator
]
annotate_kf
[
Visit
]
Generates RTE for a single function.
C
compute
[
Visit
]
Main entry point of the plug-in, used by
-rte
option: computes RTE on the whole AST.
D
div_mod_status
[
Generator
]
divmod_assertion
[
Rte
]
do_all_rte
[
Visit
]
Generates all RTEs for a given function.
do_exp_annotations
[
Visit
]
do_precond
[
Visit
]
Generates preconditions RTE for a given function.
do_rte
[
Visit
]
Generates all RTEs except preconditions for a given function.
do_stmt_annotations
[
Visit
]
E
emitter
[
Generator
]
exists
[
Parameter_sig.Set
]
Is there some element satisfying the given predicate?
F
finite_float
[
Generator
]
finite_float_assertion
[
Rte
]
float_to_int
[
Generator
]
float_to_int_assertion
[
Rte
]
float_to_int_status
[
Generator
]
I
initialized_status
[
Generator
]
is_computed
[
Generator.S
]
J
journal_register
[
Register
]
L
lval_assertion
[
Rte
]
lval_initialized_assertion
[
Rte
]
M
main
[
Register
]
mem
[
Parameter_sig.Set
]
Does the given element belong to the set?
mem_access_status
[
Generator
]
mult_sub_add_assertion
[
Rte
]
N
nojournal_register
[
Register
]
O
off
[
Parameter_sig.Bool
]
Set the boolean to
false
.
on
[
Parameter_sig.Bool
]
Set the boolean to
true
.
P
pointer_call
[
Rte
]
pointer_call_status
[
Generator
]
precond_status
[
Generator
]
R
rte_annotations
[
Visit
]
S
set
[
Generator.S
]
shift_overflow_assertion
[
Rte
]
shift_status
[
Generator
]
shift_width_assertion
[
Rte
]
signed_div_assertion
[
Rte
]
signed_downcast_assertion
[
Rte
]
signed_downcast_status
[
Generator
]
signed_overflow_status
[
Generator
]
U
uminus_assertion
[
Rte
]
unsigned_downcast_assertion
[
Rte
]
unsigned_downcast_status
[
Generator
]
unsigned_overflow_status
[
Generator
]
W
warn
[
Options
]