ポインタ解析
ポインタ解析(ポインタかいせき、英: pointer analysis / points-to analysis)は、計算機科学における静的コード解析の技法のひとつで、ポインタやヒープへの参照がどの変数や記憶領域を指し示す可能性があるかを明らかにするものである。ポインタ解析はしばしば、より複雑なエスケープ解析などの解析手法の一部として用いられる。ポインタ解析を一般化したものがシェープ解析である。