Scope.Defs
Interface for the Scope plugin.
val get_defs :
Frama_c_kernel.Kernel_function.t ->
Frama_c_kernel.Cil_types.stmt ->
Frama_c_kernel.Cil_types.lval ->
(Frama_c_kernel.Cil_datatype.Stmt.Hptset.t
* Frama_c_kernel.Locations.Zone.t option)
option
val get_defs_with_type :
Frama_c_kernel.Kernel_function.t ->
Frama_c_kernel.Cil_types.stmt ->
Frama_c_kernel.Cil_types.lval ->
((bool * bool) Frama_c_kernel.Cil_datatype.Stmt.Map.t
* Frama_c_kernel.Locations.Zone.t option)
option
val compute_with_def_type_zone :
Frama_c_kernel.Cil_types.kernel_function ->
Frama_c_kernel.Cil_types.stmt ->
Frama_c_kernel.Locations.Zone.t ->
((bool * bool) Frama_c_kernel.Cil_datatype.Stmt.Map.t
* Frama_c_kernel.Locations.Zone.t option)
option
internal use