Shape-Based Alias Analysis door Viktor Pavlu