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

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

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

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

電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス, 1996, 95(475), 9-16

アクセス数:421件（2025-07-11 23:34 集計）

固定URL: https://hdl.handle.net/11094/26649

閲覧可能ファイル

ファイル	フォーマット	利用条件	サイズ	閲覧回数	利用開始日	説明	information
itr95_475_9	pdf	なし	540 KB	88	2014.01.28

論文情報

ファイル出力 EndNote Basic出力 Mendeley出力

タイトル	再帰やポインタを含むプログラムの効率的な依存関係解析法の提案
	Efficient Dependence Analysis Algorithm for Programs with Pointers and Recursive Calls
	サイキ　ヤ　ポインタ　ヲ　フクム　プログラム　ノ　コウリツテキナ　イゾン　カンケイ　カイセキホウ　ノ　テイアン
著者	著者名佐藤, 慎一 ; サトウ, シンイチ ; Sato, Shinichi
	著者名植田, 良一 ; ウエダ, リョウイチ ; Ueda, Ryouichi
	NRID 1000020168438 1000020168438 著者名井上, 克郎 ; イノウエ, カツロウ ; 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
言語	日本語
ハンドルURL	https://hdl.handle.net/11094/26649
NCID	AN10013287
アクセス権	open access
権利情報	Copyright © 1996 IEICE
権利情報	本文データはCiNiiから複製したものである
出版タイプ	Version of Record
カテゴリ	学術雑誌論文 Journal Article

資源タイプ	学術雑誌論文
ローカル資源タイプ	学術雑誌論文
DCMI資源タイプ	text
DCTERMS.bibliographicCitation	電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス. 1996, 95(475), p. 9-16
DC.title	再帰やポインタを含むプログラムの効率的な依存関係解析法の提案
	Efficient Dependence Analysis Algorithm for Programs with Pointers and Recursive Calls
	サイキ　ヤ　ポインタ　ヲ　フクム　プログラム　ノ　コウリツテキナ　イゾン　カンケイ　カイセキホウ　ノ　テイアン
DC.creator	佐藤, 慎一
	サトウ, シンイチ
	Sato, Shinichi
	植田, 良一
	ウエダ, リョウイチ
	Ueda, Ryouichi
	井上, 克郎
	イノウエ, カツロウ
	Inoue, Katsuro
DC.publisher	電子情報通信学会
	The Institute of Electronics, Information and Communication Engineers
	デンシ　ジョウホウ　ツウシン　ガッカイ
DC.language' scheme='DCTERMS.RFC1766	日本語
DC.type' scheme='DCTERMS.DCMIType	text
DCTERMS.issued' scheme='DCTERMS.W3CDTF	1996-01-24
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から複製したものである
DC.format	26649
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	https://hdl.handle.net/11094/26649

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

閲覧可能ファイル

論文情報

論文詳細を表示