module Zones: sig
.. end
module R: Datascope.R
val debug1 : ('a, Format.formatter, unit) Pervasives.format -> 'a
val debug2 : ('a, Format.formatter, unit) Pervasives.format -> 'a
module Data: sig
.. end
module Ctx: sig
.. end
val compute_new_data : Locations.Zone.t ->
Locations.Zone.t ->
Locations.Zone.t -> bool -> Locations.Zone.t -> bool * Locations.Zone.t
val process_call_res : Locations.Zone.t ->
Cil_types.stmt ->
Cil_types.lval option -> Function_Froms.froms -> bool * Locations.Zone.t
val process_froms : Locations.Zone.t -> Function_Froms.froms -> bool * Locations.Zone.t
val process_call_args : Locations.Zone.t ->
Kernel_function.t -> Cil_types.stmt -> Cil_types.exp list -> Locations.Zone.t
val process_one_call : Locations.Zone.t ->
Cil_types.stmt ->
Cil_types.lval option -> Function_Froms.froms -> bool * Locations.Zone.t
val process_call : Locations.Zone.t ->
Cil_types.stmt ->
Cil_types.lval option ->
Cil_types.exp -> Cil_types.exp list -> bool * Locations.Zone.t
module Computer: functor (
Param
:
sig
end
) ->
sig
.. end
val compute_ctrl_info : Db.Pdg.t ->
Ctx.t ->
Cil_datatype.Stmt.Hashtbl.key list -> Cil_datatype.Stmt.Hashtbl.key list
val compute : Kernel_function.t ->
Cil_datatype.Stmt.Hashtbl.key ->
Cil_types.lval ->
Cil_datatype.Stmt.Hptset.t * Locations.Zone.t Cil_datatype.Stmt.Hashtbl.t
val get : Locations.Zone.t Cil_datatype.Stmt.Hashtbl.t ->
Cil_datatype.Stmt.Hashtbl.key -> Locations.Zone.t
val pretty : Format.formatter -> Locations.Zone.t Cil_datatype.Stmt.Hashtbl.t -> unit