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

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

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

リンター（linter）

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

フォーマッター（formatter）

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