sig
val compute_all : (unit -> unit) Pervasives.ref
val compute_all_calldeps : (unit -> unit) Pervasives.ref
val compute : (Cil_types.kernel_function -> unit) Pervasives.ref
val is_computed : (Cil_types.kernel_function -> bool) Pervasives.ref
val get : (Cil_types.kernel_function -> Function_Froms.t) Pervasives.ref
val access :
(Locations.Zone.t -> Lmap_bitwise.From_Model.t -> Locations.Zone.t)
Pervasives.ref
val find_deps_no_transitivity :
(Cil_types.stmt -> Cil_types.exp -> Locations.Zone.t) Pervasives.ref
val find_deps_no_transitivity_state :
(Db.Value.state -> Cil_types.exp -> Locations.Zone.t) Pervasives.ref
val self : State.t Pervasives.ref
val pretty :
(Format.formatter -> Cil_types.kernel_function -> unit) Pervasives.ref
val display : (Format.formatter -> unit) Pervasives.ref
val update :
(Locations.location ->
Locations.Zone.t ->
Lmap_bitwise.From_Model.t -> Lmap_bitwise.From_Model.t)
Pervasives.ref
module Record_From_Callbacks :
sig
type param =
Kernel_function.t Stack.t *
Lmap_bitwise.From_Model.t Cil_datatype.Stmt.Hashtbl.t *
(Kernel_function.t * Lmap_bitwise.From_Model.t) list
Cil_datatype.Stmt.Hashtbl.t
type result = unit
val extend : (param -> result) -> unit
val extend_once : (param -> result) -> unit
val apply : param -> result
val is_empty : unit -> bool
val clear : unit -> unit
val length : unit -> int
end
module Callwise :
sig
val iter :
((Cil_types.kinstr -> Function_Froms.t -> unit) -> unit)
Pervasives.ref
val find : (Cil_types.kinstr -> Function_Froms.t) Pervasives.ref
end
end