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
Fortify
Application security testing: static analysis, dynamic testing and SCA
Frama-C
Platform for analysis and formal verification of C source code
Gendarme
Rule-based static analysis tool for .NET and Mono assemblies