いま求められるソフトウェア静的解析・動的解析 第1回：組み込みソフトウェア開発者に贈る「静的解析・動的解析」の必要性 (2/3) - MONOist（モノイスト）

静的解析とは、ソースコードを対象としてソフトウェアの構造や動作を解析（analyze）する技術です。通常、静的解析は、静的解析ツールにソースコードを読み込ませる形で行い、その結果はソースコード上の問題点の指摘やメトリクスの形などで出力されます。こうした解析をソフトウェアを動作させずに行うので「静的」と呼ばれます。 静的解析を導入するメリットの1つは、欠陥を検出するために、テストケースを準備したり、テストを実行するための時間を用意しなくても良いことです。静的解析ツールはソースコードから直接欠陥を発見するので、用意するのは解析の時間だけで済みます。 静的解析というと、古くはUNIX系でよく知られたlintコマンドのように、書かれたプログラムの構文のおかしさや、コンパイルは通るが危険なプログラム（初期化していない変数の利用等）を検出できるものの、問題ない部分を指摘してしまう誤検出も多く、解析に時