CMT++
Code complexity metrics tool for C, C++ and C#
CodeAuditor
SSW tool scanning websites for broken links, HTML issues and Lighthouse results
CodeSonar
Static application security testing (SAST) tool for source and binary code
ConQAT
Toolkit for software quality analyses (end of life, succeeded by Teamscale)
Coverity
Static analysis (SAST) tool for finding defects and vulnerabilities in source code
CPAchecker
Configurable software verification platform for C programs