Alias analysis