package frama-c

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Module `Wp.MemMemory`Source

Sourceval t_malloc : Lang.F.tau

allocation tables

Sourceval t_init : Lang.F.tau

initialization tables

Sourceval t_mem : Lang.F.tau -> Lang.F.tau

t_addr indexed array

Sourceval f_eqmem : Lang.lfun

Sourceval f_memcpy : Lang.lfun

Sourceval sconst : Lang.F.term -> Lang.F.pred

Sourceval scinit : Lang.F.term -> Lang.F.pred

Sourceval framed : Lang.F.term -> Lang.F.pred

val unsupported_union : 
  model:string ->
  Frama_c_kernel.Cil_types.fieldinfo ->
  unit