Module From_compute

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 (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.