`type t````= private` `{`

`unique_id : string;`
`mutable enabled : bool;`
`mutable hum : string;`

`}```

type of string used for localisation

`include sig ... end`
`val compare : t ‑> t ‑> int`
`val equal : t ‑> t ‑> bool`
`val all_issues : unit ‑> t list`

all the issues declared so far

`val pp : Format.formatter ‑> t ‑> unit`

pretty print a localised string

`val from_string : ?⁠enabled:bool ‑> ?⁠hum:string ‑> string ‑> t`

create from an ordinary string

`val set_enabled : t ‑> bool ‑> unit`
`val abduction_case_not_implemented : t`
`val analysis_stops : t`
`val array_of_pointsto : t`
`val array_out_of_bounds_l1 : t`
`val array_out_of_bounds_l2 : t`
`val array_out_of_bounds_l3 : t`
`val assert_failure : t`
`val bad_footprint : t`
`val buffer_overrun_l1 : t`
`val buffer_overrun_l2 : t`
`val buffer_overrun_l3 : t`
`val buffer_overrun_l4 : t`
`val buffer_overrun_l5 : t`
`val buffer_overrun_s2 : t`
`val buffer_overrun_u5 : t`
`val cannot_star : t`
`val checkers_allocates_memory : t`

Warning name when a performance critical method directly or indirectly calls a method allocating memory

`val checkers_annotation_reachability_error : t`
`val checkers_calls_expensive_method : t`

Warning name when a performance critical method directly or indirectly calls a method annotatd as expensive

`val checkers_expensive_overrides_unexpensive : t`

Warning name for the subtyping rule: method not annotated as expensive cannot be overridden by a method annotated as expensive

`val checkers_fragment_retain_view : t`
`val checkers_immutable_cast : t`
`val checkers_printf_args : t`
`val class_cast_exception : t`
`val codequery : t`
`val comparing_floats_for_equality : t`
`val condition_always_false : t`
`val condition_always_true : t`
`val create_intent_from_uri : t`
`val cross_site_scripting : t`
`val dangling_pointer_dereference : t`
`val dead_store : t`
`val deadlock : t`
`val deallocate_stack_variable : t`
`val deallocate_static_memory : t`
`val deallocation_mismatch : t`
`val divide_by_zero : t`
`val double_lock : t`
`val do_not_report : t`

an issue type that should never be reported

`val empty_vector_access : t`
`val eradicate_condition_redundant : t`
`val eradicate_condition_redundant_nonnull : t`
`val eradicate_field_not_initialized : t`
`val eradicate_field_not_mutable : t`
`val eradicate_field_not_nullable : t`
`val eradicate_field_over_annotated : t`
`val eradicate_field_value_absent : t`
`val eradicate_inconsistent_subclass_parameter_annotation : t`
`val eradicate_inconsistent_subclass_return_annotation : t`
`val eradicate_null_field_access : t`
`val eradicate_null_method_call : t`
`val eradicate_parameter_not_nullable : t`
`val eradicate_parameter_value_absent : t`
`val eradicate_return_not_nullable : t`
`val eradicate_return_over_annotated : t`
`val eradicate_return_value_not_present : t`
`val eradicate_value_not_present : t`
`val expensive_execution_time_call : t`
`val failure_exe : t`
`val field_should_be_nullable : t`
`val field_not_null_checked : t`
`val graphql_field_access : t`
`val inferbo_alloc_is_big : t`
`val inferbo_alloc_is_negative : t`
`val inferbo_alloc_is_zero : t`
`val inferbo_alloc_may_be_big : t`
`val inferbo_alloc_may_be_negative : t`
`val infinite_execution_time_call : t`
`val inherently_dangerous_function : t`
`val interface_not_thread_safe : t`
`val internal_error : t`
`val javascript_injection : t`
`val leak_after_array_abstraction : t`
`val leak_in_footprint : t`
`val lock_consistency_violation : t`
`val logging_private_data : t`
`val memory_leak : t`
`val missing_fld : t`
`val missing_required_prop : t`
`val null_dereference : t`
`val null_test_after_dereference : t`
`val nullable_dereference : t`
`val parameter_not_null_checked : t`
`val pointer_size_mismatch : t`
`val precondition_not_found : t`
`val precondition_not_met : t`
`val premature_nil_termination : t`
`val quandary_taint_error : t`
`val registered_observer_being_deallocated : t`
`val resource_leak : t`
`val retain_cycle : t`
`val return_expression_required : t`
`val return_statement_missing : t`
`val return_value_ignored : t`
`val skip_function : t`
`val skip_pointer_dereference : t`
`val shell_injection : t`
`val shell_injection_risk : t`
`val sql_injection : t`
`val sql_injection_risk : t`
`val stack_variable_address_escape : t`
`val starvation : t`
`val static_initialization_order_fiasco : t`
`val symexec_memory_error : t`
`val thread_safety_violation : t`
`val unary_minus_applied_to_unsigned_expression : t`
`val uninitialized_value : t`
`val unknown_proc : t`
`val unreachable_code_after : t`
`val unsafe_guarded_by_access : t`
`val use_after_free : t`
`val use_after_lifetime : t`
`val untrusted_deserialization : t`
`val untrusted_file : t`
`val untrusted_file_risk : t`
`val untrusted_intent_creation : t`
`val untrusted_url_risk : t`
`val untrusted_variable_length_array : t`
`val user_controlled_sql_risk : t`
`val wrong_argument_number : t`