module State:MemVal.State
type
t
abstract state *
val bottom : t
val join : t -> t -> t
val of_kinstr : Cil_types.kinstr -> t
of_stmt stmt
get the abstract state of stmt
. *
val of_stmt : Cil_types.stmt -> t
of_kf kf
get the join state of all kf
's statements states *
val of_kf : Cil_types.kernel_function -> t
val pretty : Stdlib.Format.formatter -> t -> unit