Shape-Based Alias Analysis