Module From_compute

module From_compute: sig .. end
Module implementing the computation of functional dependencies

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 type To_Use = sig .. end
Computations of From can be done Functionwise (one result per function), or Callwise (one result by call).
val compute_using_prototype_for_state : Db.Value.state ->
Kernel_function.t ->
Cil_types.identified_term Cil_types.assigns -> Function_Froms.froms
Function that compute the Froms from a given prototype, called in the given state
val find_deps_no_transitivity : Db.Value.state -> Cil_types.exp -> Function_Froms.Deps.t
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.t
module Make: 
functor (To_Use : To_Use-> sig .. end
Functor computing the functional dependencies, according to the three modules above.
exception Call_did_not_take_place
Exception indicating that a given call statement was not evaluated.