Shape-Based Alias Analysis by Viktor Pavlu