module Make:
type
t' = {
}
val call_stack : Kernel_function.t Cilutil.Stack.t
Stack of function being processed
val find_deps_no_transitivity : Cil_types.kinstr -> Cil_types.exp -> Locations.Zone.t
val find_deps_offset_no_transitivity : Cil_types.kinstr -> Cil_types.offset -> Locations.Zone.t
val find_deps_lval_no_transitivity : Cil_types.kinstr -> Cil_types.lval -> Locations.Zone.t
val find_deps : Cil_types.kinstr -> Db_types.from_model -> Cil_types.exp -> Locations.Zone.t
module Computer: functor (
REACH
:
sig
end
) ->
sig
.. end
val compute_using_cfg : Kernel_function.t -> Function_Froms.t
val compute_using_prototype_for_state : Db.Value.state -> Kernel_function.t -> Function_Froms.t
val compute_using_prototype : Kernel_function.t -> Function_Froms.t
val compute_and_return : Kernel_function.t -> Function_Froms.t
val compute : Kernel_function.t -> unit