Polyspace Bug Finder
Static analysis of C and C++ code
Black Duck Binary Analysis
Binary software composition analysis (formerly Protecode)
Seeker
Interactive application security testing (IAST)
CodeQL
Semantic code analysis engine (formerly Semmle)
SOAPSonar
API functional, performance, compliance and security testing
Splint
Static checking of C programs for security and coding mistakes