package goblint

  1. Overview
  2. Docs
package goblint
Legend:
Library
Module
Module type
Parameter
Class
Class type

Pointer argument access specification.

type t = {
  1. kind : AccessKind.t;
    (*

    Kind of access.

    *)
  2. deep : bool;
    (*

    Depth of access

    • Shallow only accesses directly pointed values (may point to).
    • Deep additionally follows all pointers in values (reachable). Rarely needed.
    *)
}