IBM Rational Logiscope is (amongst other things) a static analysis tool for C, C++, Java, and Ada.
Quoting:
"IBM Rational Logiscope tackles software quality head-on, providing a comprehensive suite of highly customizable static and dynamic testing tools to ensure that:
- Latent bugs and faulty constructs are detected and eliminated
- Software complies with required coding standards, whether they are personal standards, internal standards, or industry standards such as MISRA.
- Complex and error-prone areas of code are identified at the earliest stage and corrective actions are taken.
- Code review is automated and effort is focused on problematic area helping you adopt verification processes that are described by international standards such as SEI/CMMi, ISO/IEC 9216 and 9001, DO-178B, IEC 61508, EN 50128.
- Unnecessary duplicated code blocks are identified and removed, therefore optimizing your testing effort and maintenance effort over time.
- Testing is both comprehensive and efficient by identifying untested pieces of code. "
(...)
"The proven verification capabilities of IBM Rational Logiscope help you optimize expensive development resources to reliably deliver on-time, on-budget, and to specification.
IBM Rational Logiscope currently supports four programming languages: C, C++, Java, and Ada. It is available on Windows, UNIX, and Linux platforms and includes four different products:
- IBM Rational Logiscope RuleChecker, for code rule checking
- IBM Rational Logiscope QualityChecker, for code quality metrics
- IBM Rational Logiscope Code Reducer, for finding code similarities
- IBM Rational Logiscope TestChecker, for dynamic test coverage analysis