Changes between Version 15 and Version 16 of AliasAnalysis


Ignore:
Timestamp:
04/29/16 09:44:19 (10 years ago)
Author:
zmanchun
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • AliasAnalysis

    v15 v16  
    3030
    3131
    32 == Some Background of POR ==
     32== Examples ==
    3333
    3434Assume that all statements are "atomic" actions, for simplicity.
    … …  
    5454The key of the POR is to find out the minimal ample set for a state. Usually, the dependency of statements
    5555
    56 == Examples ==
    5756
    5857Let `s` be a statement, and `p` be a pointer, let `L(s)` be the source location of `s`, let `O(p, s)` be the set of objects that `p` may alias to at `L(s)`.\\