例外処理の経路に着目した効率的な初期化漏れ検出手法の提案

書誌事項

タイトル別名
  • A method to detect uninitialized variables more efficiently by inspecting error handling paths

この論文をさがす

抄録

ソフトウェアバグの 1 つに,変数が未初期化のまま利用される初期化漏れと呼ばれるバグが存在する.データフロー解析,制御フロー解析により,未初期化変数候補を検出する手法が存在するが,これらの既存手法では,実行不可能経路上の未初期化変数候補も検出されるため,人が確認し候補から削除する作業が必要である.本稿では,長年機能追加を繰り返してきた手続き型言語のプログラムでは,例外状態を評価する条件式が 1 プログラム内に多数存在し,例外と評価した際には何も処理しない経路を取る場合が多いという特徴を持つことに着目し,前処理として例外状態を評価する条件式を削除後に既存の手法を適用することで,未初期化変数候補を効率的に削除する手法を提案する.また,この手法に関する実装および評価結果について報告する.

収録刊行物

キーワード

詳細情報 詳細情報について

  • CRID
    1570009752956174976
  • NII論文ID
    110009840478
  • NII書誌ID
    AN10112981
  • 本文言語コード
    ja
  • データソース種別
    • CiNii Articles

問題の指摘

ページトップへ