Tel. +31­ 345 545535
 
Embedded
Products
 
Solutions
Coming soon...
 
Partners
Who we work with
 
News
What's going on
 
Media
Something to read
 
About
Who we are
 
Contact
Where we are
You are on the following page: Products > Software Quality Assurance & Test > Static Analysis > Rule Checker Nederlands | French
 
 

Rule Checker

Fast automatic checks for adherence to coding standards


RuleChecker is a static program analyzer that automatically checks your C or C++ code for compliance with MISRA rules, CERT recom­mendations, and other coding guidelines.

 

 

 

 

 

 

 

 

 

 

 

RuleChecker primarily targets safety-critical embedded applications, but can also be used to analyze any structured C programs, handwritten or generated, with complex memory usages, dynamic memory allocation, and recursion.

 

Supported standards

  • MISRA 2004
  • MISRA 2012
  • MISRA 2012 Amendment 1
  • MISRA AC AGC
  • MISRA C++:2008
  • SEI CERT Secure C
  • MITRE CWE (Common Weakness Enumeration)
  • ISO/IEC TS 17961:2013 (C Secure Coding Rules)
  • ISO/IEC 9899:1999 diagnostics
  • Adaptive AUTOSAR C++14
  • HIS metrics
  • Customizable style rules for all C identifiers
  • Your very own in-house coding guidelines (on request)

Features

  • Easy configuration, allowing you to toggle individual rules and even specific aspects of certain rules.
  • Exceptionally fast analyses for complex real-world programs with hundreds of thousands lines of code.
  • Various statistics and code metrics, such as com­ment den­sity or cyclomatic complexity.
  • Optional checks for metric thresholds.
  • Interactive graphs, charts, and tables for efficient exploration of the analysis results.
  • Customizable reports for documentation and certification purposes.
  • Optional integration with the runtime error analyzer Astrée to guarantee zero false negatives and minimize false positives on semantical rules.
  • Batch mode for use in continuous integration frameworks.
  • Plugins for dSPACE TargetLink, Jenkins, and Eclipse. 

Who uses RuleChecker?

  • The global automotive supplier Helbako in Germany is using RuleChecker to de­monstrate MISRA compliance of their elec­tronic control software.
  • MTU Friedrichshafen is using RuleChecker to demonstrate the cor­rectness of con­trol software for emer­gency power gene­rators in power plants.
  • replaced their legacy tools with Astrée and RuleChecker, resulting in significant savings thanks to faster analyses, higher accuracy, and optimized licensing and support costs.

Qualification support
Your usage of RuleChecker can be qualified according to DO-178B/C, ISO 26262, IEC-61508, EN-50128, IEC-60880, DO-333, IEC-60188, ISO 25119, the FDA Principles of Software Validation, and other safety standards. We offer a special Qualification Support Kit that simplifies and automates the qualification process.

Free trial
Request your free trial package today.

How to buy:

Please do not hesitate to contact Gerard Fianen at INDES-IDS BV to discuss your formal S/W verification requirments

 

 

 

 

 

 

 

 

 

 

 

   

 
 

INDES-IDS BV offers solutions for Embedded Software Development as well as for the Telecommunication NEMS and Service Providers. In these markets we offer products of either the market leader or the innovation leaders. Our goal is to assist you to get to the market sooner by offering a combination of products, knowledge and services.