module Computer: sig
.. end
type
t = From_compute.Make.t'
val bottom : From_compute.Make.t'
val callwise_states_with_formals : (Kernel_function.t * Function_Froms.Memory.t) list
Cil_datatype.Stmt.Hashtbl.t
type
substit =
| |
Froms of Function_Froms.Deps.t |
val cached_substitute : Function_Froms.Memory.t ->
Locations.Zone.t ->
Function_Froms.Deps.from_deps -> Function_Froms.Deps.from_deps
val display_one_from : Format.formatter -> From_compute.Make.t' -> unit
val pretty : Format.formatter -> t -> unit
val transfer_conditional_exp : From_compute.ZoneStmtMap.key ->
Cil_types.exp -> From_compute.Make.t' -> From_compute.Make.t'
val join_and_is_included : From_compute.Make.t' -> From_compute.Make.t' -> From_compute.Make.t' * bool
val join : From_compute.Make.t' -> From_compute.Make.t' -> From_compute.Make.t'
val resolv_func_vinfo : ?deps:Locations.Zone.t ->
Cil_types.stmt ->
Cil_types.exp -> Locations.Zone.t * Kernel_function.Hptset.t
val transfer_instr : Cil_datatype.Stmt.Hashtbl.key ->
Cil_types.instr ->
t -> t
val transfer_guard : Cil_types.stmt ->
Cil_types.exp ->
From_compute.Make.t' -> From_compute.Make.t' * From_compute.Make.t'
val eliminate_additional : Cil_types.stmt -> From_compute.Make.t' -> From_compute.Make.t'
val transfer_stmt : Cil_datatype.Stmt.Hashtbl.key ->
t ->
(Cil_types.stmt * t) list
val transfer_stmt : Cil_datatype.Stmt.Hashtbl.key ->
t ->
(Cil_types.stmt * t) list
val doEdge : Cil_types.stmt ->
Cil_types.stmt -> From_compute.Make.t' -> From_compute.Make.t'
val transfer_stmt : Cil_datatype.Stmt.Hashtbl.key ->
t ->
(Cil_types.stmt * t) list