devAdvantage
Automated code review tool for C# (.NET)
dotTEST
Static analysis, unit testing and coverage for C# and VB.NET
DTP
Reporting and analytics platform aggregating testing and compliance results
ECLAIR Software Verification Platform
Static analysis and verification platform for C and C++
FindBugs
Static analysis tool finding bugs in Java bytecode (succeeded by SpotBugs)
FLUCTUAT
Static analyzer for numerical precision in C and Ada programs