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