package frama-c

You can search for identifiers within the package.

in-package search v0.2.0

Module `Wp.MemoryContext`Source

Sourcetype validity =

Sourcetype param =

Sourceval pp_param : Format.formatter -> param -> unit

Sourcetype partition

Sourceval empty : partition

Sourceval set : Frama_c_kernel.Cil_types.varinfo -> param -> partition -> partition

val compute : 
  string ->
  (Frama_c_kernel.Cil_types.kernel_function -> partition) ->
  unit

val add_behavior : 
  Frama_c_kernel.Cil_types.kernel_function ->
  string ->
  (Frama_c_kernel.Cil_types.kernel_function -> partition) ->
  unit

val warn : 
  Frama_c_kernel.Cil_types.kernel_function ->
  string ->
  (Frama_c_kernel.Cil_types.kernel_function -> partition) ->
  unit