Module Zones


module Zones: sig .. end

module R: Datascope.R
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.t -> bool * Locations.Zone.t
val process_froms : Locations.Zone.t -> Function_Froms.t -> 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.t -> 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
val states : Ctx.t
end) -> sig .. end
val compute_ctrl_info : Db.Pdg.t -> Ctx.t -> Cil_types.stmt list -> Cil_types.stmt list
val compute : Kernel_function.t ->
Cil_types.stmt ->
Cil_types.lval -> Cilutil.StmtSet.t * Data.t Inthash.t
val get : Locations.Zone.t Inthash.t -> Cil_types.stmt -> Locations.Zone.t
val pretty : Format.formatter -> Locations.Zone.t Inthash.t -> unit
val compute_defs : Db_types.kernel_function ->
Cil_types.stmt ->
Cil_types.lval -> (Cilutil.StmtSet.t * Locations.Zone.t option) option
val data_ty : Locations.Zone.t Type.t
val zones_ty : (int, Locations.Zone.t) Hashtbl.t Type.t