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