Free Trial

B

BARR-C:2018 & Essentials

  • Automatic assessment of compliance with BARR-C:2018, AUTOSAR-C:2009, and many other, complementary coding rules
  • A rich collection of source code metrics, including those defined by HIS
  • ECLAIR Bug Finder, a very fast static analyzer able to detect bugs and weaknesses that can lead to crashes, misbehaviors, and security vulnerabilities
  • ECLAIR Independence Checker, for the automatic checking of the system architecture, independence and freedom from interference of software components
  • ECLAIR Requirements Management Tools, supporting bidirectional traceability
  • No stress: free consulting hours are included for the initial configuration of your project/s

MC

MISRA C & Essentials

  • All the features of B package
  • Proper coverage of all versions of MISRA C, not just the rules: all directives are also supported
  • Support for fine-grained guideline tailoring
  • Support for MISRA deviation permits and for Appendix E of MISRA C (autogenerated code)
  • Support for the mapping of CERT-C to MISRA C
  • Support for the mapping of CWE weaknesses to MISRA C
  • Support for the rationale-based classification of the MISRA guidelines
  • Support for the mapping of Software Quality Objectives (SQO) to MISRA C
  • No stress: free consulting hours are included for the initial configuration of your project/s

MP

MISRA C++ & Essentials

  • All the features of B package
  • Proper coverage of MISRA C++:2023 and MISRA C++:2008, not just MISRA C in disguise
  • Support for fine-grained guideline tailoring
  • Sophisticated handling of template expansions
  • Comes with mechanisms to efficiently analyze projects that rely on large libraries like Boost and Qt
  • No stress: free consulting hours are included for the initial configuration of your project/s

MCP

MISRA C/C++ & Essentials

  • All the features of B, MC and MP packages combined in one package at a competitive price
  • No stress: free consulting hours are included for the initial configuration of your project/s

ECLAIR CerTran

CerTran automatically produces one SuperTest configuration for each detected use case and uses the test and validation suite to qualify the compiler for all of them

ECLAIR Code Scout

New add-on Code Scout automatically tells you the exact portion of C/C++ libraries you are using, avoiding extra and unnecessary qualification work