CodeQL
Semantic code analysis engine (formerly Semmle)
SonarQube
Automated code review, quality and security analysis
SourceMeter
Static source code analysis for C/C++, Java, C#, Python and RPG
Sparse
Semantic parser and static analyzer for C
Splint
Static checking of C programs for security and coding mistakes
Squale
Open source software quality assessment