Deductive SystemによるCプログラムのポインタ解析
スポンサーリンク
概要
- 論文の詳細を見る
本論文ではCプログラムに対するflow/context-insensitive, inclusion-based, field-sensitiveなポインタ解析の新しい定式化および実現方法について述べる.inclusion-based, field-sensitiveなポインタ解析は多くのコンパイラ最適化を可能とする高い解析精度を持つが, その解析効率(scalability)の点で実用性に疑問が持たれている.Cにおけるポインタ解析の効率向上については, これまで多くの手法が提案されているが, その大半はfield-sensitiveな解析を対象としておらず, 構造体メンバ参照式等のない単純な言語におけるfield-independentな解析に対するものである.Cに存在する複雑な構文要素を扱うfield-sensitiveな解析にそれらの手法を適用することは容易ではなく, 解析効率を高めるために複雑な実現を必要とし, 解析処理系の品質確保を難しくする.本論文では, 解析を式の構造に基づきdeductive systemにより定式化することで, 実用的な解析処理系に望まれる, 高い解析効率と実現の容易性の両立が可能となることを示す.実現方法の特徴は, 定式化された解析規則を関係代数演算として書き換える点にあり, これにより関係databaseの基本的な最適化手法の利用が可能となる.
- 2006-02-15
論文 | ランダム
- 登記申請のオンライン化に対する若干の提言・要望
- 起草者意思の源流 : 富井政章『民法論綱』復刻に寄せて
- 判例批評 被相続人から抵当権の設定を受けた相続債権者が相続財産法人に対して抵当権設定登記手続を請求することの可否(平成11.1.21最高裁判決)
- 日本における登記制度と公証制度 (の機能不全)
- 田中淳子 著 『相続と登記 (物権法研究I)』