Module Derefs.Analysis

module Analysis: Cumulative_analysis.Make(sig
val analysis_name : string
type t = Locations.Zone.t 
module T: Locations.Zone
class virtual do_it : Derefs.do_it_
end)

module Memo: Kernel_function.Make_Table(X.T)(sig
val name : string
val dependencies : State.t list
val size : int
end)
Module that contains the memoized results
class do_it_cached : Kernel_function.t list -> object .. end
Class that implements a cached version of the above analysis.
val statement : Cil_types.stmt -> Memo.data
Effects of a statement, using memoization if it contains a function call
val expr : Cil_types.stmt -> Cil_types.exp -> Memo.data
Effects of the given expression (wich is supposed to be at the given statement
val kernel_function : Memo.key -> Memo.data
Effects of the given kernel_function, using memoization