Taxonomy And Applications Of Alias Analysis