module Make:
type
t' = {
|
additional_deps_table : Locations.Zone.t Cil_datatype.Stmt.Map.t ; |
|
additional_deps : Locations.Zone.t ; |
|
deps_table : Lmap_bitwise.From_Model.t ; |
}
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
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