PMD
Extensible source code analyser
Polyspace Bug Finder
Static analysis of C and C++ code
Perforce QAC
Static code analysis for C and C++ (formerly PRQA QA·C/QA·C++)
QualityGate
Source code quality and maintainability management
ReSharper
.NET productivity extension with code inspections
Ansys SCADE Suite
Model-based development of safety-critical embedded software