本論文の目的は数万行から十数万行の現実的なC言語のアプリケーションに適用することを目指したポインタ解析のアルゴリズムを記述することにある.本論文ではポインタ解析のアルゴリズムを抽象解釈として定式化し,C言語のプログラムを仮想実行することで解析を行う.本アルゴリズムのメモリ領域の抽象化方式は既存の多項式時間アルゴリズムのポインタ解析の中で最も精度が良いものである.本アルゴリズムの有効性を示すためにポインタ解析を利用した動的チェックの除去アルゴリズムをFail-Safe Cコンパイラに適用し,SPECCPU 2000ベンチマークを対象に実験を行ったところ2割~7割の動的チェックを除去し,実行時間は1割~4割向上することが分かった.