BDDを利用したCプログラムのfield-sensitiveなポインタ解析(プログラム解析,「ハイパフォーマンスコンピューティングとアーキテクチャの評価」に関する北海道ワークショップ(HOKKE-2008))

スポンサーリンク

概要

論文の詳細を見る
精度の高いポインタ解析は、プログラムの最適化を行う上で重要である。しかし、精度の高い解析や大きいプログラムを対象とした解析はコストが大きくなる。本論文ではfield-sensitiveなポインタ解析を定式化した。field-sensitiveな解析は構造体の各メンバを区別して扱うので精度の良い結果を得ることができる。しかし、それによって解析で扱う集合が大きくなり、メモリ使用量や解析時間が増大することが考えられる。そこで、WhaleyらがJava言語を対象にして行った研究を参考にし、集合の表現にBDDを用いたfield-sensitiveなポインタ解析を実装し実験を行った。その結果、BDDを使うことでメモリ使用量を減らすことでき、素朴な集合を用いては解析できないプログラムも解析できることを示すことができた。
一般社団法人情報処理学会の論文
2008-03-05

著者

関連論文

もっと見る

スポンサーリンク