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
Cppcheck
Static analysis tool for C and C++ code
CSS HTML Validator
Offline HTML, CSS and accessibility validator