Coverity
Static analysis (SAST) tool for finding defects and vulnerabilities in source code
dotTEST
Static analysis, unit testing and coverage for C# and VB.NET
ECLAIR Software Verification Platform
Static analysis and verification platform for C and C++
Fiddler
Web debugging proxy for capturing and inspecting HTTP(S) traffic
Fortify
Application security testing: static analysis, dynamic testing and SCA
ImmuniWeb
Application security testing and exposure management platform