ReSharper
.NET productivity extension with code inspections
Ansys SCADE Suite
Model-based development of safety-critical embedded software
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