package goblint

You can search for identifiers within the package.

in-package search v0.2.0

Static analysis framework for C

Install

dune-project

Dependency

goblint.in.tum.de Readme Changelog Edit opam file Versions (9)

Authors

Maintainers

Sources

goblint-1.1.1.tbz

sha256=999272bfbd3b9b96fcd58987b237ac6e9fa6d92ef935cc89f1ea2b4205185141

sha512=f3bf6ab71cf8c258d3290da4bf9f6fe42d7c671822e0efeb0fc50afdff078ab15e352237e5c1db31c5aa3a9d430691268ed2e5e00da10f2615835f672f91683d

doc/goblint.lib/MessageCategory/index.html

Module `MessageCategory`

type array_oob =

| PastEnd
| BeforeStart
| Unknown

val equal_array_oob : array_oob -> array_oob -> Ppx_deriving_runtime.bool

type undefined_behavior =

| ArrayOutOfBounds of array_oob
| NullPointerDereference
| UseAfterFree

val equal_undefined_behavior : 
  undefined_behavior ->
  undefined_behavior ->
  Ppx_deriving_runtime.bool

type behavior =

| Undefined of undefined_behavior
| Implementation
| Machine

val equal_behavior : behavior -> behavior -> Ppx_deriving_runtime.bool

type integer =

| Overflow
| DivByZero

val equal_integer : integer -> integer -> Ppx_deriving_runtime.bool

type cast =

| TypeMismatch

val equal_cast : cast -> cast -> Ppx_deriving_runtime.bool

type category =

| Assert
| Behavior of behavior
| Integer of integer
| Race
| Cast of cast
| Deadcode
| Unknown
| 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 ]