package goblint

  1. Overview
  2. Docs

Module LibraryDesc.AccessSource

Pointer argument access specification.

Sourcetype 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.
    *)
}