Analisadores estáticos de código

As principais ferramentas de análise estática de código comerciais:

Coverity Prevent
Fortify Source Code Analysis
Secure Software CodeAssure