Module Db.From


module From: sig .. end
Functional dependencies between function inputs and function outputs.
See also internal documentation.

val compute_all : (unit -> unit) Pervasives.ref
val compute_all_calldeps : (unit -> unit) Pervasives.ref
val compute : (Db_types.kernel_function -> unit) Pervasives.ref
val is_computed : (Db_types.kernel_function -> bool) Pervasives.ref
Check whether the from analysis has been performed for the given function.
Returns true iff the analysis has been performed
val get : (Db_types.kernel_function -> Function_Froms.t) Pervasives.ref
val access : (Locations.Zone.t -> Db_types.from_model -> Locations.Zone.t) Pervasives.ref
val find_deps_no_transitivity : (Cil_types.kinstr -> Cil_types.exp -> Locations.Zone.t) Pervasives.ref
val self : Project.Computation.t Pervasives.ref
Consult the Plugin Development Guide for additional details.

Pretty printing


val pretty : (Format.formatter -> Db_types.kernel_function -> unit) Pervasives.ref
val display : (Format.formatter -> unit) Pervasives.ref

Internal use only


val update : (Locations.location ->
Locations.Zone.t -> Db_types.from_model -> Db_types.from_model)
Pervasives.ref
module Callwise: sig .. end