module From: sig
.. end
exception Not_lval
exception raised by find_deps_no_transitivity_*
if the given expression
is not an lvalue.
Since Aluminium-20160501
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
Check whether the from analysis has been performed for the given
function.
Returns true iff the analysis has been performed
val get : (Cil_types.kernel_function -> Function_Froms.t) Pervasives.ref
val access : (Locations.Zone.t -> Function_Froms.Memory.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 find_deps_term_no_transitivity_state : (Db.Value.state -> Cil_types.term -> Value_types.logic_dependencies)
Pervasives.ref
Raises Not_lval
if the given expression is not a C lvalue.
val self : State.t Pervasives.ref
Pretty printing
val pretty : (Format.formatter -> Cil_types.kernel_function -> unit) Pervasives.ref
val display : (Format.formatter -> unit) Pervasives.ref
Callback
module Record_From_Callbacks: Hook.Iter_hook
with type param =
Kernel_function.t Stack.t *
Function_Froms.Memory.t Stmt.Hashtbl.t *
(Kernel_function.t * Function_Froms.Memory.t) list
Stmt.Hashtbl.t
Access to callwise-stored data
module Callwise: sig
.. end