package frama-c

You can search for identifiers within the package.

in-package search v0.2.0

Module `Wp.RegionAccess`Source

Sourceval cc_lval : Region.map -> Frama_c_kernel.Cil_types.lval -> Region.region

Sourceval cc_read : Region.map -> Frama_c_kernel.Cil_types.exp -> unit

val cc_assign : 
  Region.map ->
  Frama_c_kernel.Cil_types.stmt ->
  Frama_c_kernel.Cil_types.lval ->
  Frama_c_kernel.Cil_types.exp ->
  unit

val cc_init : 
  Region.map ->
  Frama_c_kernel.Cil_types.stmt ->
  Frama_c_kernel.Cil_types.lval ->
  Frama_c_kernel.Cil_types.init ->
  unit

val cc_instr : 
  Region.map ->
  Frama_c_kernel.Cil_types.stmt ->
  Frama_c_kernel.Cil_types.instr ->
  unit

Sourceval cc_fundec : Region.map -> Frama_c_kernel.Cil_types.fundec -> unit

Sourceval cc_pred : Region.map -> Frama_c_kernel.Cil_types.predicate -> unit

Sourceval cc_term : Region.map -> Frama_c_kernel.Cil_types.term -> unit

Sourceval cc_spec : Region.map -> Frama_c_kernel.Cil_types.spec -> unit

Sourceval cc_region : Region.map -> RegionAnnot.region_spec -> unit