An Empirical Study of Alias Analysis Techniques