例外処理の経路に着目した効率的な初期化漏れ検出手法の提案
書誌事項
- タイトル別名
-
- A method to detect uninitialized variables more efficiently by inspecting error handling paths
この論文をさがす
抄録
ソフトウェアバグの 1 つに,変数が未初期化のまま利用される初期化漏れと呼ばれるバグが存在する.データフロー解析,制御フロー解析により,未初期化変数候補を検出する手法が存在するが,これらの既存手法では,実行不可能経路上の未初期化変数候補も検出されるため,人が確認し候補から削除する作業が必要である.本稿では,長年機能追加を繰り返してきた手続き型言語のプログラムでは,例外状態を評価する条件式が 1 プログラム内に多数存在し,例外と評価した際には何も処理しない経路を取る場合が多いという特徴を持つことに着目し,前処理として例外状態を評価する条件式を削除後に既存の手法を適用することで,未初期化変数候補を効率的に削除する手法を提案する.また,この手法に関する実装および評価結果について報告する.
収録刊行物
-
- 情報処理学会研究報告. ソフトウェア工学研究会報告
-
情報処理学会研究報告. ソフトウェア工学研究会報告 2014 (20), 1-6, 2014-11-06
一般社団法人情報処理学会
- Tweet
キーワード
詳細情報 詳細情報について
-
- CRID
- 1570009752956174976
-
- NII論文ID
- 110009840478
-
- NII書誌ID
- AN10112981
-
- 本文言語コード
- ja
-
- データソース種別
-
- CiNii Articles