package goblint

  1. Overview
  2. Docs

Module MessageCategory

type array_oob =
  1. | PastEnd
  2. | BeforeStart
  3. | Unknown
val equal_array_oob : array_oob -> array_oob -> Ppx_deriving_runtime.bool
type undefined_behavior =
  1. | ArrayOutOfBounds of array_oob
  2. | NullPointerDereference
  3. | UseAfterFree
type behavior =
  1. | Undefined of undefined_behavior
  2. | Implementation
  3. | Machine
val equal_behavior : behavior -> behavior -> Ppx_deriving_runtime.bool
type integer =
  1. | Overflow
  2. | DivByZero
val equal_integer : integer -> integer -> Ppx_deriving_runtime.bool
type cast =
  1. | TypeMismatch
val equal_cast : cast -> cast -> Ppx_deriving_runtime.bool
type category =
  1. | Assert
  2. | Behavior of behavior
  3. | Integer of integer
  4. | Race
  5. | Cast of cast
  6. | Deadcode
  7. | Unknown
  8. | Analyzer
val equal_category : category -> category -> Ppx_deriving_runtime.bool
type t = category
val equal : t -> t -> Ppx_deriving_runtime.bool
val hash : 'a -> int
module Behavior : sig ... end
module Integer : sig ... end
module Cast : sig ... end
val should_warn : category -> bool
val path_show : category -> string list
val show : category -> string
val behaviorName : behavior -> string
val categoryName : category -> string
val from_string_list : string list -> category
val to_yojson : category -> [> `List of [> `String of string ] list ]