module Reads:sig
..end
Computations of the statements that read a given memory zone.
val compute : Locations.Zone.t -> (Cil_types.stmt * Studia.Writes.effects) list
compute z
finds all the statements that read z
. The effects
information indicates whether the read occur on the given statement,
or through an inner call for Call
instructions.