エイリアス解析

エイリアス解析（英: Alias analysis）は、コンパイラ理論における手法の一つで、ある記憶域が複数の箇所からアクセスされるかどうかを判定する方法である。二つのポインタが同じ記憶域を参照している場合、「エイリアスしている」とみなされる。 エイリアス解析は通例制御フローとコンテキストを意識した手法である。エイリアスする可能性があるものと、確実にエイリアスしているものを特定することができる。エイリアス解析という用語はポインタ解析と同義で用いられることもある。