Partitioning approaches
Intraprocedural
- Non-separable - types: constant propagation, pointer alias analysis [Ruf, POPL’97]
- Statement related: pointer alias [Zhang, Ryder, Landi, FSE’96]
Interprocedural
- whole program analysis
- avoid whole program in memory [Chatterjee, Ryder, Landi, POPL’99]
- concern time and precision [Liang & Harrold, FSE’99]