ECLAIR MISRA-C++:2008 + HIS Metrics Package

The MISRA-C++:2008 + HIS Metrics package is a combination of two of the many applications that run on top of ECLAIR. This particular offer combines:

  • a state-of-the-art static analyzer suitable for execution on the developer’s desktop that automatizes, almost completely, the check of conformance with respect to MISRA-C++:2008;
  • a precise and flexible implementation of the source code metrics defined by HIS.


  • Proper coverage of MISRA-C++:2008, not just MISRA-C in disguise: the language and many rules are radically different and require completely different checkers.
  • No time wasted in writing compiler personality files (often of questionable correctness).
  • Automatic production of accurate, and faithful compliance matrices.
  • Real-time use from within most popular IDEs or batch use with reports stored in a database for later processing.
  • Guideline violation and metric reports optionally available to the entire development team and management using web-based technology.
  • Powerful mechanisms of differential reporting allow correlating changes in the code and the appearance/disappearance of violations (with possible interfaces to issue-tracking systems).
  • No stress: free consultancy services for the initial configuration. This includes full assistance to help your company make the transition to the MISRA-C++:2008 + HIS Metrics Package.

Read the MISRA-C++:2008 + HIS Metrics package full datasheet, or request an evaluation copy of ECLAIR, and see for yourself how ECLAIR can help ensure MISRA compliance while accelerating development projects and improving overall coding practices.


MISRA-C++:2008 is the software development C++ subset developed by MISRA for the motor industry, which is now a de facto standard for safety-, life-, and mission-critical embedded applications in many industries including aerospace, railway, medical, telecommunications and others.

Coverage and Precision

ECLAIR’s MISRA-C++:2008 + HIS Metrics Package offers one of the most extensive, properly said MISRA-C++:2008 coverages available on the market, by providing support for around 87% of the guidelines.

Guidelines are enforced using very general and accurate checkers, which operate on the precise sequences of tokens and abstract syntax trees that are manipulated by the compiler. Coupled with the fact that ECLAIR always checks each guideline in the appropriate context (at the token, declaration, translation unit, whole program or whole system levels), this makes sure that the checkers for decidable rules are exact (neither false positives nor false negatives).

Compliance Matrices

ECLAIR can be configured to automatically produce compliance matrices required to meet contractual obligations and industrial standards such as ISO 26262. The compliance matrix is obtained from the actual configuration, which, if properly done, will contain the reason for each deviation. Thus, carrying its rationale, any deviation goes straight from the configuration to the matrix.

HIS Source Code Metrics

The HIS Software Test Working Group, specified a set of metrics to be used in the evaluation of software. These metrics allow to assess the quality of software in terms of complexity, testability, readability, maintainability and so forth, and the quality of the software development process.


ECLAIR’s MISRA-C++:2008 + HIS Metrics Package provides very precise and flexible coverage for all the HIS metrics, namely: Si, Schange, Sdel, Snew, COMF, PATH, GOTO, v(G), CALLING, CALLS, PARAM, STMT, LEVEL, RETURN, VOCF, NOMV, NOMVP and ap_cg_cycle.

Proper Integration with the Toolchain

ECLAIR intercepts every invocation of the toolchain components (compilers, linker, assembler, archive manager) and it automatically extracts and interprets the options that the build system has passed to them. This allows for the seamless integration with any build system. All this is automatic and supports build processes that involve the automatic generation of source files that depend on the configuration, without requiring the development and maintenance of a separated analysis procedure: with ECLAIR the existing build procedure can be used verbatim.

The Bigger Picture

ECLAIR is a powerful platform for the automatic analysis, verification, testing and transformation of C and C++ programs. Applications range from coding rule validation, to the proof of absence of run-time errors, and to the specification of code matchers and rewriters based on both syntactic and semantic conditions. The extreme flexibility of ECLAIR allows it to be tailored for any software verification problem, and for any software development process. Because coding rules are specified in a very high-level language using a powerful library of services, it is easy to create project-specific coding rules.

ECLAIR is suitable for light verification tasks that can be run right on the developer's desktop, as well as for tough semantics-based analyses to be run in batch mode. ECLAIR has gone through a very rigorous design process and has been carefully checked with extensive internal test suites and industry-standard validation suites.

The ECLAIR unique features and the team’s strong commitment to the customer allow for a smooth transition to ECLAIR from any other tool.

Read the MISRA-C++:2008 + HIS Metrics package full datasheet, or request an evaluation copy of ECLAIR, and see for yourself how ECLAIR can help ensure MISRA compliance while accelerating development projects and improving overall coding practices.

We are a passionate team of experts. Do not hesitate to let us have your feedback:
You may be surprised to discover just how much your suggestions matter to us.