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
Type.register.
|
| AlreadyExists [Globals.Vars] | |
B | |
| Bad_Initialization [Ast] |
May be raised by function
Ast.get below.
|
| 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.
|
| Cannot_build [Parameter_sig.Builder] | |
| Cannot_pack [Structural_descr] | |
| Cannot_remove [Project] |
Raised by
remove
|
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 [FCDynlink] |
Errors in dynamic linking are reported by raising the
Error
exception with a description of the error.
|
| Error_Bottom [Lattice_type.Lattice_Base] | |
| Error_Bottom [Lattice_type.With_Error_Bottom] | |
| Error_Bottom [Ival] | |
| Error_Top [Map_Lattice.Make_without_cardinal] | |
| Error_Top [Locations.Zone] | |
| Error_Top [Lattice_type.Lattice_Set_Generic] | |
| Error_Top [Lattice_type.Lattice_Base] | |
| Error_Top [Lattice_type.With_Error_Top] | |
| Error_Top [Int_Base] | |
| Existing_Project [Db.Slicing] | |
| Exit [Cmdline] | |
F | |
| FeatureRequest [Log] |
Raised by
not_yet_implemented.
|
| Float_Non_representable_as_Int64 [Floating_point] | |
| Found_prefix [Lmap_sig] | |
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
Db.Compute when the arguments set by fun_set_args
are not coherent with the prototype of the function (if there are
too few or too many of them)
|
| Invalid_descriptor [Descr] | |
L | |
| LenOfArray [Cil] |
Raised when
Cil.lenOfArray fails either because the length is None
or because it is a non-constant expression
|
N | |
| NYI [Logic_interp.To_zone] | |
| Name_already_exists [Journal.Binding] | |
| Nan_or_infinite [Ival] | |
| Neither_Int_Nor_Enum_Nor_Pointer [Bit_utils] | |
| NoMatch [Gui_printers] | |
| NoMatchingOffset [Bit_utils] | |
| NoProject [Project] |
May be raised by
current.
|
| NoUntypedAst [Ast] |
Might be raised by
Ast.UntypedFiles.get below
|
| No_Definition [Kernel_function] | |
| No_Project [Db.Slicing] | |
| 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_dir [Parameter_sig.Specific_dir] | |
| No_funspec [Annotations] | |
| No_such_binding [Rangemap.Make] | |
| No_such_entry_point [Globals] |
May be raised by
entry_point below.
|
| Non_finite [Fval] | Non_finite is produced when the result of a computation is
entirely not-finite, such as +oo,+oo (results in Bottom).
|
| NotAnAttrParam [Cil] | |
| 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
Lattice.cardinal_less_than.
|
| Not_lval [Db.From] |
exception raised by
find_deps_no_transitivity_* if the given expression
is not an lvalue.
|
| Not_representable [Cil] |
raised by
Cil.intKindForValue.
|
| Not_valid_offset [Base] | |
| 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] | |
| Too_big [Integer] |
Produced by values whose physical representation is too
costly (e.g.
|
| 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.
|
| Unsupported_Feature [FCDynlink] | |
V | |
| Void_Function [Db.Value] |