Index of exceptions


A
Alternative_conflict_values [Errors]
Assert_failure [Errors]
Assignment_size_conflict [Errors]
Assume_condition [Smt_bitvectors]
Assume_failure [Errors]

B
Bad_address_size [Errors]
Bad_bound [Errors]
Bad_concat [Errors]
Bad_condition [Errors]
Bad_exp_size [Errors]
Bad_region [Errors]

D
DOUBLEFREE [Uaf_detection]
Decode_error [Disasm_core]
Div_by_zero [Errors]

E
Empty_env [Errors]
Emptyset [Nonrelational]
Enumerate_Top [Errors]
Exec_permission_denied [Errors]

F
Freed_variable_access [Errors]

I
InstructionUnhandled [X86toDba]
Invalid_address [Errors]
Invalid_dba_string [Parse_utils]
Invalid_free_address [Errors]
Invalid_free_region [Errors]
Invalid_top_argument [Errors]

N
NoSmtEquivalent [Dba_to_smtlib]
Raised if trying to convert DBA operators that don't have equivalent in smtlib2.
Nonhomogeneous_sizes [Errors]
Not_found_in_concrete_infos [Trace_type]

O
Operands_size_conflict [Errors]

P
Parse [X86decoder]

R
Read_permission_denied [Errors]
RecursiveCall [Nonrelational]
Regions_conflict [Errors]

S
STOP_CRITERIA [Dse.DSE]
STOP_TIME [Dse.DSE]
STOP_VERDICT [Dse.DSE]
Size_error [Errors]
SmtBadSize [Smtlib2]
Raise if tying to extract beyond the bitvector bound or if an expression is inconsistent in terms of expression sizes
Stop [Server_callback]
Stop_Unsupported [Errors]

U
Unbound_region_element [Errors]
Undeclared_variable [Errors]
Uninitialized_variable [Errors]
Unknown [Nonrelational]
Unknown_value [Errors]

W
Write_permission_denied [Errors]