首页    期刊浏览 2024年11月08日 星期五
登录注册

文章基本信息

  • 标题:C言語のための現実的なポインタ解析
  • 本地全文:下载
  • 作者:関口 龍郎
  • 期刊名称:コンピュータ ソフトウェア
  • 印刷版ISSN:0289-6540
  • 出版年度:2004
  • 卷号:21
  • 期号:6
  • 页码:456-471
  • DOI:10.11309/jssst.21.456
  • 出版社:Japan Society for Software Science and Technology
  • 摘要:

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

国家哲学社会科学文献中心版权所有