sig
type validity = Valid | Nullable
type param =
NotUsed
| ByAddr
| ByValue
| ByShift
| ByRef
| InContext of MemoryContext.validity
| InArray of MemoryContext.validity
val pp_param : Stdlib.Format.formatter -> MemoryContext.param -> unit
type partition
val empty : MemoryContext.partition
val set :
Cil_types.varinfo ->
MemoryContext.param -> MemoryContext.partition -> MemoryContext.partition
val compute :
string -> (Cil_types.kernel_function -> MemoryContext.partition) -> unit
val add_behavior :
Cil_types.kernel_function ->
string -> (Cil_types.kernel_function -> MemoryContext.partition) -> unit
val warn :
Cil_types.kernel_function ->
string -> (Cil_types.kernel_function -> MemoryContext.partition) -> unit
end