HEATKEYS

Spin is a general tool for verifying the correctness of distributed software (software design) in a rigorous and mostly automated fashion.

Veracode provides application security through static analysis & dynamic analysis delivered through an on-demand SaaS platform

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.

Static source code analysis, static analysis using software quality products to find critical software defects in system architecture & source code programming. Static source code analysis, static analysis using Software Quality products from Cov...

For Java code security and quality, Parasoft Java Quality Solution provides a fully-integrated suite that automates static code analysis (data flow, rules, metrics), peer code review, and automated unit/component testing.

Klocwork delivers the most comprehensive source code analysis solution using static analysis and complete codebase inspection for C++,C, C# and Java

OCLint is a static code analysis tool for improving quality and reducing defects by inspecting Objective-C/C++/C code and looking for potential ?