Alias analysis of executable code