Memory Analysis

Definitions

1. memory unit: mu = (dyscopeID, variableID, reference, access) A memory unit mu is referring to a certain region of a variable, which is defined by a dyscopeID and a variable ID. A mu has an access attribute which denotes whether the it is writable by a given process.

2. impact memory unit: a memory unit being accessed at the current location by a given process.

3. reachable impact memory unit: a memory unit being accessed at the current location or any reachable future location of a given process.