基本情報技術者 2010年 秋期 問23

後に使用されない変数への代入

静的解析ツールは、プログラムを実行せずソースコードを解析するため、以後まったく参照されない変数への代入などを検出できます。実行時間・仕様との突合による記述漏れ・テストで実行されなかった命令は、実行(動的解析)を伴わないと分かりません。