sig
module type To_Use =
sig
val get_from_call :
Cil_types.kernel_function -> Cil_types.stmt -> Function_Froms.t
val get_value_state : Cil_types.stmt -> Db.Value.state
val keep_base : Cil_types.kernel_function -> Base.t -> bool
val cleanup_and_save :
Cil_types.kernel_function -> Function_Froms.t -> Function_Froms.t
end
val compute_using_prototype_for_state :
Db.Value.state ->
Kernel_function.t ->
Cil_types.identified_term Cil_types.assigns -> Function_Froms.froms
val find_deps_no_transitivity :
Db.Value.state -> Cil_types.exp -> Function_Froms.Deps.t
val find_deps_lval_no_transitivity :
Db.Value.state -> Cil_types.lval -> Function_Froms.Deps.t
module Make :
functor (To_Use : To_Use) ->
sig
val compute_and_return : Kernel_function.t -> Function_Froms.t
val compute : Kernel_function.t -> unit
end
exception Call_did_not_take_place
end