デバッグ
それらは静的コード解析ツールの一種であり、限られたいくつかの既知の問題をソースコード中から探す。問題にはよくあるものも、稀なものも含まれる。このようなツールに検出される問題はコンパイラやインタプリタにはほとんど検出されないものである。つまり、これらのツールは文法チェッカーではなく意味チェッカーである。300以上の問題を検出できると宣伝するツールもある。様々な言語において商用やフリーのものが存在する。検出される問題として典型的なものに、変数に値を代入する前に起きるデリファレンスがある。また、言語仕様にない場合でも強い型検査を行うことができる。したがって、実際のエラーよりも潜在的なエラーに強い。このため、これらのツールは誤検出の悪評がある。このようなツールの初期の例としてlintがある。
電気機器(コンピュータ・ハードウェアなど)やローレベルソフトウェア(BIOS、デバイスドライバなど)、ファームウェアのデバッグでは、オシロスコープやロジックアナライザ、インサーキット・エミュレータ (ICE) が単独または組み合わせでよく使われる。ICEではソフトウェアデバッガが行うことのできる典型的な作業の多くをローレベルソフトウェアやファームウェアに対して行うことができる。