エイリアス解析

エイリアス解析（エイリアスかいせき、英: alias analysis）は、コンパイラ理論における手法の1つで、ある記憶域が複数の箇所からアクセスされるかどうかを判定する方法である。 2つのポインタ（あるいは参照）が同じ記憶域を参照している場合、「エイリアスされている」(aliased) とみなされる。