静的単一代入形式を用いたポインタ解析アルゴリズム
スポンサーリンク
概要
- 論文の詳細を見る
ポインタ解析は多くのプログラム解析にとって必須であり,その解析情報はプログラムの最適化や信頼性の向上に役立つ.しかし,プログラムの実行前に行うポインタ解析では,完全な解析情報を求めることは一般に不可能である.そのため近似的な解析情報を求めるアルゴリズムの研究がさかんに行われ,これまでに計算量と正確さのトレードオフを考慮した様々な近似アルゴリズムが報告されている.このトレードオフに影響を与える 1 つの指針としてフロー依存性がある.すなわち,フロー依存解析は正確だが実行効率が悪いのに対して,フロー非依存解析は実行効率は良いが正確さで劣る.このフロー非依存ポインタ解析の不正確さを改善するために,Hasti ら (1998) は静的単一代入形式 (Static Single Assignment Form,以下 SSA 形式) を用いたフロー非依存ポインタ解析アルゴリズムを提案し,その有用性を示した.また,「そのアルゴリズムがフロー依存ポインタ解析アルゴリズムと同等の解析能力を有するか否か」 を未解決問題として提起した.Hardekopf ら(2009) は両者の解析能力が同等ではないと予想し,SSA 形式と通常のフロー依存解析の両方を組み合わせたアルゴリズムを提案した.本稿ではこの未解決問題について考察し,限定されたプログラムのクラスにおいて,Hardekopf らの予想に反して,2 つのアルゴリズムが同等の解析能力を有することを示すとともに,Hasti らのアルゴリズムを改善した新しいアルゴリズムを提案する.
- 2011-03-25
著者
-
田中 雄一
宇都宮大学大学院工学研究科
-
田中 雄一
宇都宮大学工学部情報工学科
-
大山口 通夫
三重大学大学院工学研究科
-
Tanaka Yuichi
Department Of Electronics And Electrical Engineering Keio University
-
田中 雄一
三重大学大学院工学研究科
-
田中 雄一
東京農工大学大学院工学研究院
関連論文
- H.264/AVCイントラ符号化における予測モード選択の自由度を利用した情報付加法 (メディア工学 コンシューマエレクトロニクス)
- 動き補償を利用した動画像信号の補間フレーム作成とその画質改善 (メディア工学 コンシューマエレクトロニクス)
- 動画像符号化における動きベクトル予測に関する検討
- 動き補償を利用した動画像信号の補間フレーム作成とその画質改善(画像映像処理・システム,ネットワーク,放送,一般)
- H.264/AVCイントラ符号化における予測モード選択の自由度を利用した情報付加法(画像映像処理・システム,ネットワーク,放送,一般)
- 可変密度サンプリングによる非可逆画像符号化における画質劣化の軽減に関する検討
- 判別分析法を用いた電子透かし方式についての一検討
- 宇都宮大学工学部情報工学科 画像通信研究室
- 判別分析法を用いた電子透かし方式についての一検討
- 可変密度サンプリングによる非可逆画像符号化における画質劣化の軽減に関する検討
- 動き補償を利用した動画像信号の補間フレーム作成とその画質改善 (画像工学)
- ウェーブレット変換を用いた画像認証方式に関する一検討 (画像工学)
- 宇都宮大学大学院・工学研究科・情報システム科学専攻加藤・長谷川・田中研究室
- 画像構造を利用した単一画像からのdepth推定
- 高域通過フィルタを用いた方向適応ウェーブレット変換(ネットワークプロセッサ,通信のための信号処理,無線LAN/PAN,一般)
- 高域通過フィルタを用いた方向適応ウェーブレット変換(ネットワークプロセッサ,通信のための信号処理,無線LAN/PAN,一般)
- 高域通過フィルタを用いた方向適応ウェーブレット変換(ネットワークプロセッサ,通信のための信号処理,無線LAN/PAN,一般)
- ウェーブレット変換を用いた画像認証方式に関する一検討(画像応用技術,時空間映像処理,画像符号化及び一般)
- VQ出力の木構造リンク化による静止画データハイディングの検討(画像応用技術,時空間映像処理,画像符号化及び一般)
- H.264/AVCイントラ符号化における予測モード選択の自由度を利用した情報付加法(画像映像処理・システム,ネットワーク,放送,一般)
- 冗長性を削減した不等長線形位相フィルタバンクの設計と画像符号化への応用(信号処理,LSI,及び一般)
- 冗長性を削減した不等長線形位相フィルタバンクの設計と画像符号化への応用(信号処理,LSI,及び一般)
- 冗長性を削減した不等長線形位相フィルタバンクの設計と画像符号化への応用(信号処理,LSI,及び一般)
- Dual-Tree複素ウェーブレット変換を用いた方向適応型リフティングウェーブレット変換の高速化(信号処理,LSI及び一般)
- Dual-Tree複素ウェーブレット変換を用いた方向適応型リフティングウェーブレット変換の高速化(信号処理,LSI及び一般)
- Dual-Tree複素ウェーブレット変換を用いた方向適応型リフティングウェーブレット変換の高速化(信号処理,LSI及び一般)
- M分割双直交フィルタバンクのブロックリフティング分解(ディジタル信号処理)
- 二分割複素係数擬直交フィルタバンク(ディジタル信号処理)
- 構造的類似度SSIMによるリサイジング画像の画質評価に関する検討 (無線通信システム)
- 構造的類似度SSIMによるリサイジング画像の画質評価に関する検討 (信号処理)
- 動き補償を利用した動画像信号の補間フレーム作成とその画質改善(画像映像処理・システム,ネットワーク,放送,一般)
- 構造的にレギュラリティ条件を満たした一次線形位相フィルタバンクの設計と画像符号化への応用(ディジタル信号処理)
- 高次数が可能なビルディングブロックを用いた双直交線形位相フィルタバンクのラティス構造(信号処理,LSI,及び一般)
- 高次数が可能なビルディングブロックを用いた双直交線形位相フィルタバンクのラティス構造(信号処理,LSI,及び一般)
- 高次数が可能なビルディングブロックを用いた双直交線形位相フィルタバンクのラティス構造(信号処理,LSI,及び一般)
- 冗長性を削減した不等長線形位相フィルタバンクの設計(ディジタル信号処理)
- ペアワイズ鏡像周波数特性を持つ冗長形線形位相フィルタバンクの設計(信号処理, スペクトル拡散, 及び一般)
- ペアワイズ鏡像周波数特性を持つ冗長形線形位相フィルタバンクの設計(信号処理, スペクトル拡散, 及び一般)
- 非線形位相パラユニタリフィルタバンクのための非拡張畳込みと画像符号化への応用(ディジタル信号処理)
- Mixed resolution distributed video coding based on selective data pruning (マルチメディア・仮想環境基礎)
- Mixed resolution distributed video coding based on selective data pruning (画像工学)
- 周波数領域における輝度-色差重畳法を利用したカラー画像復元 (マルチメディア・仮想環境基礎)
- 周波数領域における輝度-色差重畳法を利用したカラー画像復元 (画像工学)
- 成分画像間相関を用いたカラー画像のマルコフモデル符号化に関する研究 (コミュニケーションクオリティ)
- リフティング構造に基づくパラユニタリフィルタバンクの設計とロッシー及びロスレス画像符号化への応用(ディジタル信号処理)
- 非線形位相フィルタバンクのための非拡張畳み込みと画像符号化への応用(信号処理,LSI,及び一般)
- 非線形位相フィルタバンクのための非拡張畳み込みと画像符号化への応用(信号処理, LSI, 及び一般)
- D-15-20 デュアルディスプレイ構成による学習支援システムの構築(D-15.教育工学,一般セッション)
- ウェーブレット変換を用いた画像認証方式に関する一検討
- VQ出力の木構造リンク化による静止画データハイディングの検討
- 補間フレームを基準とした双方向動き補償によるフレームレート変換の画質改善に関する検討 (システム数理と応用)
- 補間フレームを基準とした双方向動き補償によるフレームレート変換の画質改善に関する検討 (信号処理)
- 補間フレームを基準とした双方向動き補償によるフレームレート変換の画質改善に関する検討 (VLSI設計技術)
- 画像の構造を考慮した重畳画像認証の改良に関する一検討 (マルチメディア情報ハイディング・エンリッチメント)
- 加速度とボタン操作を用いた個人認証方式に関する検討 (マルチメディア情報ハイディング・エンリッチメント)
- 画像の構造を考慮した重畳画像認証の改良に関する一検討 (情報通信システムセキュリティ)
- 加速度とボタン操作を用いた個人認証方式に関する検討 (情報通信システムセキュリティ)
- 画像の構造を考慮した重畳画像認証の改良に関する一検討 (技術と社会・倫理)
- 加速度とボタン操作を用いた個人認証方式に関する検討 (技術と社会・倫理)
- 画像の構造を考慮した重畳画像認証の改良に関する一検討 (情報セキュリティ)
- 加速度とボタン操作を用いた個人認証方式に関する検討 (情報セキュリティ)
- 静的単一代入形式を用いたポインタ解析アルゴリズム
- 視覚特性を利用した画像認証方式に関する一検討
- 成分画像間相関を用いたカラー画像のマルコフモデル符号化に関する研究(五感メディアの品質,コミュニケーションデザイン,画像符号化,食メディア,一般)
- 周波数領域における輝度-色差重畳法を利用したカラー画像復元(五感メディアの品質,コミュニケーションデザイン,画像符号化,食メディア,一般)
- 周波数領域における輝度-色差重畳法を利用したカラー画像復元(五感メディアの品質,コミュニケーションデザイン,画像符号化,食メディア,一般)
- 選択的データ抽出法に基づく混合解像度分散型動画像符号化(五感メディアの品質,コミュニケーションデザイン,画像符号化,食メディア,一般)
- 選択的データ抽出法に基づく混合解像度分散型動画像符号化(五感メディアの品質,コミュニケーションデザイン,画像符号化,食メディア,一般)
- 構造的類似度SSIMによるリサイジング画像の画質評価に関する検討(無線通信のための信号処理及び一般)
- 構造的類似度SSIMによるリサイジング画像の画質評価に関する検討(無線通信のための信号処理及び一般)
- 木構造リンクを用いたVQ画像へのデータハイディングの検討
- SSIMに基づく多サイズ画像間における画質評価法 (システム数理と応用)
- SSIMに基づく多サイズ画像間における画質評価法 (信号処理)
- SSIMに基づく多サイズ画像間における画質評価法 (VLSI設計技術)
- 視覚特性を利用した画像認証方式に関する一検討(情報ネットワーク)
- カラー画像信号のSN比計算に関する一考察
- 補間フレームを基準とした双方向動き補償によるフレームレート変換の画質改善に関する検討(システムと信号処理及び一般)
- 補間フレームを基準とした双方向動き補償によるフレームレート変換の画質改善に関する検討(システムと信号処理及び一般)
- SSIMに基づく多サイズ画像間における画質評価法(システムと信号処理及び一般)
- SSIMに基づく多サイズ画像間における画質評価法(システムと信号処理及び一般)
- SSIMに基づく多サイズ画像間における画質評価法(システムと信号処理及び一般)
- SSIMに基づく多サイズ画像間における画質評価法(システムと信号処理及び一般)
- 補間フレームを基準とした双方向動き補償によるフレームレート変換の画質改善に関する検討(システムと信号処理及び一般)
- 補間フレームを基準とした双方向動き補償によるフレームレート変換の画質改善に関する検討(システムと信号処理及び一般)
- 木構造リンクを用いたVQ画像へのデータハイディングの検討
- 画像の構造を考慮した重畳画像認証の改良に関する一検討(セキュリティ関係,一般)
- 画像の構造を考慮した重畳画像認証の改良に関する一検討(セキュリティ関係,一般)
- 画像の構造を考慮した重畳画像認証の改良に関する一検討(セキュリティ関係,一般)
- 画像の構造を考慮した重畳画像認証の改良に関する一検討(セキュリティ関係,一般)
- 加速度とボタン操作を用いた個人認証方式に関する検討(セキュリティ関係,一般)
- 加速度とボタン操作を用いた個人認証方式に関する検討(セキュリティ関係,一般)
- 加速度とボタン操作を用いた個人認証方式に関する検討(セキュリティ関係,一般)
- 加速度とボタン操作を用いた個人認証方式に関する検討(セキュリティ関係,一般)
- 方向成分を考慮した輝度一色差重畳法によるカラー画像復元 (音声)
- 方向成分を考慮した輝度一色差重畳法によるカラー画像復元 (応用音響)
- 方向成分を考慮した輝度一色差重畳法によるカラー画像復元 (信号処理)
- Wavelet-based Content-Aware Image Coding with Rate-Dependent Seam Carving (システム数理と応用)
- Wavelet-based Content-Aware Image Coding with Rate-Dependent Seam Carving (信号処理)
- Wavelet-based Content-Aware Image Coding with Rate-Dependent Seam Carving (VLSI設計技術)
- Wavelet-based Content-Aware Image Coding with Rate-Dependent Seam Carving (回路とシステム)