module From_compute: sig
.. end
Additional control dependencies to add to all modified variables,
coming from the control statements encountered so far (If, Switch).
The statement information is used to remove the dependencies that
are no longer useful, when we reach a statement that post-dominates
the statement that gave rise to the dependency.
Module implementing the computation of functional dependencies
exception Call_did_not_take_place
Exception indicating that a given call statement was not evaluated.
module type To_Use = sig
.. end
Computations of From can be done Functionwise (one result per function),
or Callwise (one result by call).
val find_deps_no_transitivity : Db.Value.state -> Cil_types.exp -> Function_Froms.Deps.deps
Direct computation of the dependencies on expressions, offsets and
lvals. The state at the statement is taken from Values_To_Use
val find_deps_lval_no_transitivity : Db.Value.state -> Cil_types.lval -> Function_Froms.Deps.deps
val compute_using_prototype_for_state : Db.Value.state -> Kernel_function.t -> Function_Froms.froms
Function that compute the Froms from a given prototype, called
in the given state
module ZoneStmtMap: sig
.. end
module Make:
Functor computing the functional dependencies, according to the three
modules above.