module Make:
Functor computing the functional dependencies, according to the three
modules above.
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 : Cil_types.stmt ->
Lmap_bitwise.From_Model.t -> Cil_types.exp -> Locations.Zone.t
Computation of the dependencies on an expression, but recursive
dependencies are resolved using the value of type
Lmap_bitwise.From_Model.t
.
module Computer: functor (
REACH
:
sig
end
) ->
sig
.. end
val compute_using_cfg : Kernel_function.t -> Function_Froms.froms
val compute_using_prototype : Kernel_function.t -> Function_Froms.froms
val compute_and_return : Kernel_function.t -> Function_Froms.t
Compute the dependencies of the given function, and return them
Compute the dependencies of the given function
val compute : Kernel_function.t -> unit