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 get_defs : Kernel_function.t ->
Cil_datatype.Stmt.t ->
Cil_datatype.Lval.t ->
(Cil_datatype.Stmt.Hptset.t * Locations.Zone.t option) option
val get_defs_with_type : Kernel_function.t ->
Cil_datatype.Stmt.t ->
Cil_datatype.Lval.t ->
((bool * bool) Cil_datatype.Stmt.Map.t * Locations.Zone.t option) option
val compute_with_def_type_zone : Cil_types.kernel_function ->
Cil_types.stmt ->
Locations.Zone.t ->
((bool * bool) Cil_datatype.Stmt.Map.t * Locations.Zone.t option) option