goblint.library
LibraryDesc.Accesses
Pointer arguments access specification.
goblint.backtrace
goblint.build-info
goblint.cdomain
goblint.common
goblint.config
goblint.constraint
goblint.domain
goblint.incremental
goblint.lib
goblint.logs
goblint.sites
goblint.solver
goblint.std
goblint.timing
goblint.tracing
goblint_build_info_dune
goblint_build_info_js
goblint_cdomain_value
goblint_sites_dune
goblint_sites_js
type t = Cil.Cil.exp list -> (Access.t * Cil.Cil.exp list) list
val find : t -> Access.t -> Cil.Cil.exp list -> Cil.Cil.exp list
val find_kind : t -> AccessKind.t -> Cil.Cil.exp list -> Cil.Cil.exp list
val iter : t -> (Access.t -> Cil.Cil.exp -> unit) -> Cil.Cil.exp list -> unit
val fold : t -> (Access.t -> Cil.Cil.exp -> 'a -> 'a) -> Cil.Cil.exp list -> 'a -> 'a