ウィキペディア

ポインタ解析

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2009/04/16 13:29 UTC 版)

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