Changes between Version 1 and Version 2 of MemoryAnalysis


Ignore:
Timestamp:
07/28/15 09:43:09 (11 years ago)
Author:
zmanchun
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • MemoryAnalysis

    v1 v2  
    441. memory unit: `mu = (dyscopeID, variableID, reference, access)`
    55   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.
     6
     72. impact memory unit: a memory unit being accessed at the current location by a given process.
     8
     93. reachable impact memory unit: a memory unit being accessed at the current location or any reachable future location of a given process.
     10