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