Absint.LocaliseSupport for localisation
module Tags : sig ... enddescription field of error messages
val compare_error_desc : error_desc -> error_desc -> intval no_desc : error_descempty error description
val verbatim_desc : ?suggestion:string -> string -> error_descverbatim desc from a string and suggestion, not to be used for user-visible descs
module BucketLevel : sig ... endval error_desc_get_bucket : error_desc -> string optionget the bucket value of an error_desc, if any
val error_desc_set_bucket : error_desc -> string -> error_descset the bucket value of an error_desc
val error_desc_is_reportable_bucket : error_desc -> boolcheck if the report is in a high confidence bucket
val error_desc_hash : error_desc -> inthash function for error_desc
val error_desc_equal : error_desc -> error_desc -> boolequality for error_desc
val pp_error_qualifier : Stdlib.Format.formatter -> error_desc -> unitpretty print an error qualifier
val pp_error_desc : Stdlib.Format.formatter -> error_desc -> unitpretty print a full error description with suggestion
val error_desc_get_dotty : error_desc -> string optionDescription functions for error messages
val deref_str_null : IR.Procname.t option -> deref_strdereference strings for null dereference
val deref_str_nullable : IR.Procname.t option -> string -> deref_strdereference strings for null dereference due to Nullable annotation
val deref_str_undef : (IR.Procname.t * IBase.Location.t) -> deref_strdereference strings for an undefined value coming from the given procedure
val deref_str_dangling : IR.PredSymb.dangling_kind option -> deref_strdereference strings for a dangling pointer dereference
val deref_str_array_bound :
IR.IntLit.t option ->
IR.IntLit.t option ->
deref_strdereference strings for an array out of bound access
val deref_str_nil_argument_in_variadic_method :
IR.Procname.t ->
int ->
int ->
deref_strdereference strings for nonterminal nil arguments in c/objc variadic methods
val dereference_string :
IR.Procname.t ->
deref_str ->
string ->
access option ->
IBase.Location.t ->
error_descval desc_class_cast_exception :
IR.Procname.t option ->
string ->
string ->
string option ->
IBase.Location.t ->
error_descval desc_condition_always_true_false :
IR.IntLit.t ->
string option ->
IBase.Location.t ->
error_descval desc_divide_by_zero : string -> IBase.Location.t -> error_descval desc_empty_vector_access :
IR.Procname.t option ->
string ->
IBase.Location.t ->
error_descval is_empty_vector_access_desc : error_desc -> boolval desc_leak :
IR.Exp.t option ->
string option ->
IR.PredSymb.resource option ->
IR.PredSymb.res_action option ->
IBase.Location.t ->
string option ->
error_descval desc_custom_error : IBase.Location.t -> error_descCreate human-readable error description for assertion failures
val desc_precondition_not_met :
pnm_kind option ->
IR.Procname.t ->
IBase.Location.t ->
error_descval desc_retain_cycle :
string ->
IBase.Location.t ->
string option ->
error_descval desc_registered_observer_being_deallocated :
IR.Pvar.t ->
IBase.Location.t ->
error_descval desc_skip_function : IR.Procname.t -> error_descval desc_inherently_dangerous_function : IR.Procname.t -> error_descval desc_uninitialized_dangling_pointer_deref :
deref_str ->
string ->
IBase.Location.t ->
error_descval access_desc : access option -> string list