Frama-C:
Plug-ins:
Libraries:

Frama-C API - CfgConcur

type t = cfg_concur
val default : t
val combine : t -> t -> t
val add_access : (Mt_types.rw * Frama_c_kernel.Locations.Zone.t) -> t -> t
val must_be_in_cfg : keep:var_access_kind -> t -> bool

See

fgNode.must_be_in_cfg

below

val has_concur_accesses : t -> bool