package goblint

You can search for identifiers within the package.

in-package search v0.2.0

Static analysis framework for C

Install

Dune Dependency

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

Authors

Maintainers

Sources

goblint-2.2.1.tbz

sha256=ca24f72fa9a87d288affe97c411753f14b7802bab4ca3649b337276b89bf5674

sha512=394b3521ccda0da91540cebb2f433f7525763060be4bbe179edd3b952a3580a8e173c4e410fc6895dc67fe6d17e6699aeddfed600f4692858bec093dd912bf1e

doc/goblint.lib/Goblint_lib/LibraryDesc/Access/index.html

Module `LibraryDesc.Access`

Pointer argument access specification.

type t = {

kind : AccessKind.t;
(*
Kind of access.
*)
deep : bool;
(*
Depth of access
- Shallow only accesses directly pointed values (may point to).
- Deep additionally follows all pointers in values (reachable). Rarely needed.
*)

}