Up
Index of exceptions
A
Abort_to_top
[
Builtins_nonfree
]
Actual_is_bottom
[
Function_args
]
Allocation_rank
[
Builtins_nonfree_malloc
]
AlwaysOverlap
[
Eval_stmt
]
B
Base_aligned_error
[
Builtins_nonfree
]
C
Cannot_find_lv
[
Eval_exprs
]
Copy_string_done
[
Builtins_nonfree_deterministic
]
D
Distinguishable_strings
[
Warn
]
DoNotReduce
[
Eval_terms
]
Do_assign_imprecise_copy
[
Eval_stmt
]
Does_not_improve
[
Eval_terms
]
F
Found
[
State_imp
]
Found_misaligned_base
[
Builtins_nonfree
]
G
Got_imprecise
[
Warn
]
I
ImpreciseMemset
[
Builtins_nonfree
]
Initialization_failed
[
Initial_state
]
Interpret_format_finished
[
Builtins_nonfree_deterministic
]
Interpret_format_partial
[
Builtins_nonfree_deterministic
]
Invalid_CEA_alloc
[
Builtins_nonfree_malloc
]
L
LogicEvalError
[
Eval_terms
]
M
Memcpy_result
[
Builtins_nonfree
]
N
No_such_behavior
[
Eval_annots.ActiveBehaviors
]
Not_an_exact_loc
[
Eval_terms
]
Not_an_exact_loc
[
Eval_exprs
]
Not_leaked
[
Builtins_nonfree_malloc
]
O
Offset_error
[
Builtins_nonfree
]
Offset_not_based_on_Null
[
Eval_exprs
]
P
Problem
[
Builtins_nonfree_malloc
]
R
Recursive_call
[
Warn
]
Reduce_to_bottom
[
Eval_terms
]
Reduce_to_bottom
[
Eval_exprs
]
Reduce_to_bottom
[
Eval_op
]
Result_found
[
Mem_exec
]
Return_bottom
[
Builtins_nonfree_deterministic
]
S
Stop
[
Eval_terms
]
T
TooImprecise
[
Mem_exec
]
Too_linear
[
Eval_stmt
]
Too_linear
[
Eval_exprs
]
U
Unchanged
[
Eval_op
]
Unchanged
[
State_imp
]
Adding elements.
Unchanged
[
State_set
]
W
WrongFunctionType
[
Function_args
]