静的解析ツール

プログラムのソースコードを走査し、関数や変数などの情報を取得するツール。

テキストやHTMLなどの形式でレポートを出力する。

プログラムに対して、ツールにより機械的にチェックを行うことにより、文法スタイルの誤りやパターン化されたバグ（バッファオーバーフローの脆弱性、メモリ競合状態やメモリリークなど）を検出する。

規約に従っているかどうかをチェックする

規約に従ってコードを改修する