package goblint

  1. Overview
  2. Docs

Module AccessKindSource

Kinds of memory accesses.

Sourcetype t =
  1. | Write
    (*

    argument may be written to

    *)
  2. | Read
    (*

    argument may be read

    *)
  3. | Free
    (*

    argument may be freed

    *)
  4. | Call
    (*

    argument may be called

    *)
  5. | Spawn
    (*

    argument may be spawned

    *)

Specifies what is known about an argument.

Sourceval compare : t -> t -> Ppx_deriving_runtime.int
Sourceval hash : t -> int
Sourceval show : t -> string
include sig ... end
val pretty : unit -> t -> Printable.Pretty.doc
val printXml : 'a BatInnerIO.output -> t -> unit
val to_yojson : t -> [> `String of string ]