Module Datascope

module Datascope: sig .. end

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