Computations of the statements that read a given memory zone.
Computations of the statements that write a given memory zone.