Cppcheck - Cppcheck is an analysis tool for C/C++ code. It detects the types of bugs that the compilers normally fail to detect. The goal is no false positives. CppCheckDownload cppcheck for free.
Xpediter - Xpediter is a mainframe application interactive debugging tool. It also offers code coverage for mainframe application analysis.
Polyspace - Polyspace is a suite of static code analysis products developed by Matlab to help software developers, QA Testers, and engineers find critical problems in their code and fix them before they become a serious threat.
netquery - netquery is the system introspection tool.
Clang Static Analyzer - The Clang Static Analyzer is a source code analysis tool that finds bugs in C, C++, and Objective-C...
UNICOM PurifyPlus - PurifyPlus is a run-time analysis tools for application reliability and performance.