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]