Functor From_register.Make


module Make: 
functor (Values_To_Use : Values_To_Use_Sig) ->
functor (Froms_To_Use : Froms_To_Use_Sig) ->
functor (Recording_To_Do : Recording_Sig) -> sig .. end
Parameters:
Values_To_Use : Values_To_Use_Sig
Froms_To_Use : Froms_To_Use_Sig
Recording_To_Do : Recording_Sig


type t' = {
   additional_deps_table : Locations.Zone.t Cil_datatype.Stmt.Map.t; (*Additional dependencies to add to all modified variables. Example: variables in the condition of an IF.*)
   additional_deps : Locations.Zone.t; (*Union of the sets in StmtMap.t*)
   deps_table : Lmap_bitwise.From_Model.t; (*dependency table*)
}
val call_stack : Kernel_function.t 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
val stmt_can_reach : Cil_types.stmt -> Cil_types.stmt -> bool
val blocks_closed_by_edge : Cil_types.stmt -> Cil_types.stmt -> Cil_types.block list
end) -> sig .. end
val compute_using_cfg : Kernel_function.t -> Function_Froms.tt
val compute_using_prototype_for_state : Db.Value.state -> Kernel_function.t -> Function_Froms.tt
val compute_using_prototype : Kernel_function.t -> Function_Froms.tt
val compute_and_return : Kernel_function.t -> Function_Froms.t
val compute : Kernel_function.t -> unit