Frama-C API - Mt_shared_vars_types
module SetZoneAccess : sig ... endSets of zone accesses (used in cfg nodes)
module StmtIdAccess : Frama_c_kernel.Datatype.S with type t = Mt_types.rw * Frama_c_kernel.Cil_types.stmt * Eva__.Thread.tType of a full access operation to a variable : read or write, statement at which the access takes place, thread that does the operation
module SetStmtIdAccess : sig ... endMore than one full access to a variable. The boolean indicates whether all accesses are dummy ones, ie present just to ensure convergence of the algorithm
module AccessesByZone : sig ... endMaps from zones to variables accesses