Module Defs


module Defs: sig .. end
Find the statements that defines a given data at a program point, ie. in each backward path starting from this point, find the statement the the data has been assigned for the last time.

val debug1 : ('a, Format.formatter, unit) Pervasives.format -> 'a
val debug2 : ('a, Format.formatter, unit) Pervasives.format -> 'a
module Interproc: Datascope.R.True(sig
val option_name : string
val help : string
val kind : [> `Tuning ]
end)
val add_callee_nodes : (Db.Pdg.t_node * Locations.Zone.t option) list ->
(Db.Pdg.t_node * Locations.Zone.t option) list ->
(Db.Pdg.t_node * Locations.Zone.t option) list
val add_caller_nodes : Cil_types.kernel_function ->
(Db.Pdg.t_node * Locations.Zone.t option) list ->
Locations.Zone.t * (Db.Pdg.t_node * Locations.Zone.t option) list ->
(Db.Pdg.t_node * Locations.Zone.t option) list
val compute : Kernel_function.t ->
Cil_types.stmt ->
Cil_types.lval -> (Cil_datatype.Stmt.Set.t * Locations.Zone.t option) option