Partitioning by related statements [Zhang, Ryder, Landi, FSE’96]
Partitioning: automatically inferred dependence information from statement
Goal: explore trade off time and precision
- use algorithms with different precision
(1) Partition the set of pointer-related assignments
PE equivalence relation on names:
- if 2 names are equal, what they point to is equal
(2) Alias analysis for components of PE graph