module Datascope:sig
..end
Scope
plugin. Some functions are also defined here,
but they registered through Db
.
The aim here is to select the statements where a data D
has the same value then a given starting program point L.
module R:Plugin.General_services
val get_lval_zones : for_writing:bool ->
Cil_types.stmt ->
Cil_types.lval -> Locations.Zone.t * bool * Locations.Zone.t