A | |
AbortError [Log] | User error that prevents a plugin to terminate. |
AbortFatal [Log] | Internal error that prevents a plugin to terminate. |
Aborted [Db.Value] | |
AlreadyExists [Type] | May be raised by |
AlreadyExists [Globals.Vars] | |
B | |
Bad_Initialization [Ast] | May be raised by function |
Bitwise_cannot_copy [Lmap_bitwise] | |
Bottom [Db.Pdg] | Raised by most function when the PDG is Bottom because we can hardly do nothing with it. |
C | |
Can_not_subdiv [Abstract_interp] | Used by other modules e.g. |
Cancel [Db] | This exception may be raised by |
Cannot_build [Parameter_sig.Builder] | |
Cannot_pack [Structural_descr] | |
Cannot_remove [Project] | Raised by |
E | |
Empty [Qstack.Make] | |
Empty_rangemap [Rangemap.Make] | |
EraseAllocation [Filter.RemoveInfo] | exception that fun_frees_visible or fun_allocates_visible should raise to indicate that the corresponding allocation clause should be erased entirely |
EraseAssigns [Filter.RemoveInfo] | exception that fun_assign_visible should raise to indicate that the corresponding assigns clause should be erased entirely |
Error [Logic_lexer] | |
Error [Logic_interp] | |
Error [Json] | file, line, message |
Error_Bottom [Abstract_interp] | Raised by Lattice_Base.project. |
Error_Top [Abstract_interp] | Raised by some functions when encountering a top value. |
Exit [Cmdline] | |
F | |
FeatureRequest [Log] | Raised by |
File_exists [Filepath] | Raised whenever some file exists and |
Float_Non_representable_as_Int64 [Floating_point] | |
I | |
IOError [Project] | |
Incompatible_datatype [State] | |
Incompatible_type [Type.Heterogeneous_table] | |
Incompatible_type [Journal.Reverse_binding] | |
Incompatible_type [Dynamic] | |
Inconsistent_emitted_status [Property_status] | |
Incorrect_number_of_arguments [Db.Value] | Raised by |
Invalid_descriptor [Descr] | |
L | |
LenOfArray [Cil] | Raised when |
N | |
NYI [Logic_interp.To_zone] | |
Name_already_exists [Journal.Binding] | |
Neither_Int_Nor_Enum_Nor_Pointer [Bit_utils] | |
NoMatch [Gui_printers] | |
NoMatchingOffset [Bit_utils] | |
NoProject [Project] | May be raised by |
NoUntypedAst [Ast] | Might be raised by |
No_Definition [Kernel_function] | |
No_Statement [Kernel_function] | |
No_abstract_type [Type] | |
No_conversion [Db.Properties.Interp] | Exception raised by the functions below when their given argument cannot be interpreted in the C world. |
No_file [Filepath] | Raised whenever no file exists and |
No_funspec [Annotations] | |
No_such_binding [Rangemap.Make] | |
No_such_entry_point [Globals] | May be raised by |
NotAnAttrParam [Cil] | |
Not_Singleton [Int_val] | |
Not_Singleton_Float [Fval] | |
Not_Singleton_Int [Ival] | |
Not_a_C_variable [Base] | |
Not_a_call [Db.Value] | |
Not_less_than [Abstract_interp] | Raised by |
Not_lval [Db.From] | exception raised by |
Not_representable [Cil] | raised by |
Not_well_formed [Logic_utils] | exception raised when a parsed logic expression is syntactically not well-formed. |
O | |
Outside_builtin_possibilities [Db.Value] | |
S | |
SizeOfError [Cil] | Raised when one of the SizeOf/AlignOf functions cannot compute the size of a type. |
T | |
Temp_file_error [Extlib] | |
Top [Db.Pdg] | Raised by most function when the PDG is Top because we can hardly do nothing with it. |
Top [Db.PostdominatorsTypes] | Used for postdominators-related functions, when the postdominators of a statement cannot be computed. |
U | |
Unbound_value [Type.Heterogeneous_table] | |
Unbound_value [Journal.Reverse_binding] | |
Unbound_value [Dynamic] | |
Unknown [State] | |
Unknown_project [Project] | |
Unloadable [Dynamic] | Exception that a plug-in can throw if it detects that it can't be loaded. |
Unregistered_function [Extlib] | Never catch it yourself: let the kernel do the job. |
V | |
Void_Function [Db.Value] |