静的解析とは？

静的解析の意味

プログラムを実行せずに、ソースコードや中間表現を解析して、コーディング規約違反・未初期化変数・到達不能コード・潜在的な脆弱性などを検出する手法。

静的解析の具体例

CIのたびに静的解析ツールを走らせ、新規に混入した規約違反だけを差分として指摘する。

静的解析は試験でどう引っ掛けられる？

実行時にしか現れない性能問題やタイミング依存の不具合は検出できない。動的解析と補完関係にある。

静的解析と関連する用語

• MISRA-C

静的解析が出た過去問

• プログラム中にエラーが存在するかどうかなどを，ソースプログラムを分析することによって調べるテストツールはどれか。

  正解：静的解析ツール

  要点：実行せずソースを分析して誤りを見つけるのが静的解析

  静的解析ツールは、プログラムを実行せずにソースコードを解析して、未初期化変数の使用や到達しないコード、規約違反といった誤りや危険な記述を検出する。実行を伴わないため、テストデータを用意する前の早い段階から欠陥を見つけられる点が利点である。

  出典：令和7年度 春期 システムアーキテクト試験 am2 問6（IPA）