再帰やポインタを含むプログラムの効率的な依存関係解析法の提案

佐藤, 慎一; 植田, 良一; 井上, 克郎

このアイテムのアクセス数:65件（2021-01-18 23:32 集計）

このアイテムへのリンクには次のURLをご利用ください:http://hdl.handle.net/11094/26649

閲覧可能ファイル

ファイル	フォーマット	サイズ	閲覧回数	説明
itr95_475_9	pdf	540 KB	32

論文情報

タイトル	再帰やポインタを含むプログラムの効率的な依存関係解析法の提案
別タイトル	Efficient Dependence Analysis Algorithm for Programs with Pointers and Recursive Calls
タイトル (ヨミ)	サイキ　ヤ　ポインタ　ヲ　フクム　プログラム　ノ　コウリツテキナ　イゾン　カンケイ　カイセキホウ　ノ　テイアン
著者	佐藤, 慎一佐藤, 慎一
	植田, 良一植田, 良一
	井上, 克郎井上, 克郎
著者の別表記	Sato, Shinichi
	Ueda, Ryouichi
	Inoue, Katsuro
著者 (ヨミ)	サトウ, シンイチ
	ウエダ, リョウイチ
	イノウエ, カツロウ
キーワード等	依存関係解析
	ポインタ
	エイリアス
	プログラム依存グラフ(PDG)
	スライス
	program dependence analysis
	pointer
	alias
	program dependence graph (PDG)
	program slice
抄録	プログラムの依存関係解析は, デバッグや保守, コンパイル時の最適化などに利用されており, 非常に有用である. しかし, エイリアスの影響が手続きを越えて伝わるようなプログラムの依存関係解析は容易ではない. 本研究では, 各手続きごとに, その内部で定義される変数などの情報をあらかじめ計算しておき, 手続き呼び出しの際にはその情報を参照することにより, 手続きの再解析を行なわないようにするという手法をエイリアスを含むプログラムに適用することによって, 効率のよい依存関係解析を行なうことができるアルゴリズムを提案する. さらに, このアルゴリズムによって得られた解析結果からPDGを生成し, その上でスライシングを行なう手法についても述べる.
抄録	Program Dependence Analysis is useful in software debugging, maintainance and compiler optimization. However it is not easy to analyze the dependence of programs including pointers and recursive calls. In this paper, we propose an efficient program dependence analysis algorithm which would eliminate the repeated analysis efforts for the procedures called more than once. This is performed by storing the analysis results for the previous calls and then refering them. Furthermore, we present how to construct the PDG by using the information obtained with this algorithm, and how to caluculate the Program Slices on it.
公開者	電子情報通信学会
公開者の別表記	The Institute of Electronics, Information and Communication Engineers
公開者 (ヨミ)	デンシ　ジョウホウ　ツウシン　ガッカイ
掲載誌名	電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス
巻	95
号	475
開始ページ	9
終了ページ	16
刊行年月	1996-01-24
NCID	AN10013287
URL	http://hdl.handle.net/11094/26649
権利情報	Copyright © 1996 IEICE
権利情報	本文データはCiNiiから複製したものである
言語	日本語
カテゴリ	学術雑誌論文 Journal Article

著者版フラグ	publisher
NII資源タイプ	学術雑誌論文
ローカル資源タイプ	学術雑誌論文
dcmi資源タイプ	text
DCTERMS.bibliographicCitation	電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス.95(475) P.9-P.16
DC.title	再帰やポインタを含むプログラムの効率的な依存関係解析法の提案
DCTERMS.alternative	Efficient Dependence Analysis Algorithm for Programs with Pointers and Recursive Calls
DC.creator	佐藤, 慎一
	植田, 良一
	井上, 克郎
DC.creator	Sato, Shinichi
	Ueda, Ryouichi
	Inoue, Katsuro
DC.publisher	電子情報通信学会
DC.language" scheme="DCTERMS.RFC1766	日本語
DCTERMS.issued" scheme="DCTERMS.W3CDTF	1996-01-24
DC.identifier" scheme="DCTERMS.URI	http://hdl.handle.net/11094/26649
DC.subject	依存関係解析
	ポインタ
	エイリアス
	プログラム依存グラフ(PDG)
	スライス
	program dependence analysis
	pointer
	alias
	program dependence graph (PDG)
	program slice
DCTERMS.abstract	プログラムの依存関係解析は, デバッグや保守, コンパイル時の最適化などに利用されており, 非常に有用である. しかし, エイリアスの影響が手続きを越えて伝わるようなプログラムの依存関係解析は容易ではない. 本研究では, 各手続きごとに, その内部で定義される変数などの情報をあらかじめ計算しておき, 手続き呼び出しの際にはその情報を参照することにより, 手続きの再解析を行なわないようにするという手法をエイリアスを含むプログラムに適用することによって, 効率のよい依存関係解析を行なうことができるアルゴリズムを提案する. さらに, このアルゴリズムによって得られた解析結果からPDGを生成し, その上でスライシングを行なう手法についても述べる.
DCTERMS.abstract	Program Dependence Analysis is useful in software debugging, maintainance and compiler optimization. However it is not easy to analyze the dependence of programs including pointers and recursive calls. In this paper, we propose an efficient program dependence analysis algorithm which would eliminate the repeated analysis efforts for the procedures called more than once. This is performed by storing the analysis results for the previous calls and then refering them. Furthermore, we present how to construct the PDG by using the information obtained with this algorithm, and how to caluculate the Program Slices on it.
DC.rights	Copyright © 1996 IEICE
DC.rights	本文データはCiNiiから複製したものである
citation_title	再帰やポインタを含むプログラムの効率的な依存関係解析法の提案
citation_author	佐藤, 慎一
	植田, 良一
	井上, 克郎
citation_publisher	電子情報通信学会
citation_language	日本語
citation_date	1996-01-24
citation_journal_title	電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス
citation_volume	95
citation_issue	475
citation_firstpage	9
citation_lastpage	16
citation_public_url	http://hdl.handle.net/11094/26649
citation_keywords	依存関係解析
	ポインタ
	エイリアス
	プログラム依存グラフ(PDG)
	スライス
	program dependence analysis
	pointer
	alias
	program dependence graph (PDG)
	program slice

閲覧可能ファイル

論文情報

論文詳細を表示