Showing results: 1 - 4 of 4 items found.
-
RuleChecker -
AbsInt Angewandte Informatik GmbH
RuleChecker is a static analyzer that automatically checks your C or C++ code for compliance with MISRA rules, CERT recommendations, and other coding guidelines.RuleChecker primarily targets safety-critical embedded applications, but can also be used to analyze any structured programs, handwritten or generated, with complex memory usages, dynamic memory allocation, and recursion.
-
Polyspace -
The MathWorks, Inc.
Polyspace Bug Finder checks compliance with coding rule standards such as MISRA C, MISRA C++, JSF++, and custom naming conventions. It generates reports consisting of bugs found, code-rule violations, and code quality metrics, including cyclomatic complexity. Polyspace Bug Finder can be used with the Eclipse IDE and integrated into build systems.
-
Parasoft Corp.
The most comprehensive development compliance solution; FDA, DO-178B/C, MISRA, JSF, PCI-DSS, ISO, IEC, and more. ntegrate compliance policies into the SDLC and team workflow. Accurately and consistently automate verification and validation tasks
-
HelixQAC -
Perforce Software Inc.
For over 30 years, Helix QAC has been the trusted static code analyzer for C and C++ programming languages. With its depth and accuracy of analysis, Helix QAC has been the preferred static code analyzer in tightly regulated and safety-critical industries that need to meet rigorous compliance requirements. Often, this involves verifying compliance with coding standards — such as MISRA and AUTOSAR — and functional safety standards, such as ISO 26262.
