sig
val self : State.t
val get_last_result :
unit ->
((Cil_types.kernel_function option * Cil_types.kinstr * Cil_types.lval)
list * Cil_types.varinfo)
option
val get :
Cil_types.varinfo ->
(Cil_types.kernel_function option * Cil_types.kinstr * Cil_types.lval)
list
val print_all : unit -> unit
type access_type = Read | Write | Both
val classify_accesses :
Cil_types.kernel_function option * Cil_types.kinstr * Cil_types.lval ->
Register.access_type
end