別名分析

別名分析（Alias analysis）是編譯器理論中的一種程式分析技術。當程式中同時出現兩個甚至多個符號代表同樣一個主記憶體位置時，這些符號便可稱作別名。與此相對應的，當兩個或更多指標指向同一個地址時，那些指標稱作別名指標。別名分析則是判斷一個程式內是否存在別名的演算法。

別名（Alias）的存在會增加編譯器的最佳化難度，甚至阻止某種最佳化的發生。因此，別名是否存在於程式中，對於一些最佳化手段是不可或缺的一個資訊。在這種場景下，別名分析顯得尤為重要。

參考

• Appel, Andrew W. Modern Compiler Implementation in ML. Cambridge, UK: Cambridge University Press. 1998. ISBN 0-521-60764-7.