module From_compute:sig
..end
Module implementing the computation of functional dependencies
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.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 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.