Free Trial

ECLAIR MP is BUGSENG’s comprehensive solution for ensuring the safety, security, and quality of C++ codebases through full support of MISRA C++ and other leading standards. Built on the ECLAIR Software Verification Platform, ECLAIR MP brings together advanced static analysis, architectural validation, bug detection, and reporting capabilities tailored to the challenges of developing safety-critical C++ software.

Key Features

Full MISRA C++ Coverage

ECLAIR MP supports both MISRA C++:2023 and MISRA C++:2008, ensuring precise and faithful enforcement of all rules and directives, not just as an adaptation of MISRA C, but with dedicated checkers built for the language’s specific features.

Static Analysis and Architectural Integrity

The package includes:

  • ECLAIR Bug Finder: Detects a wide range of C++ bugs and vulnerabilities including memory issues, pointer misuse, API errors, and undefined behaviors.

  • Independence Checker: Validates architectural constraints and enforces component separation and interference freedom via control and data flow analysis.

BARR-C and AUTOSAR Support

In addition to MISRA C++, ECLAIR MP supports:

  • The stylistic subset of BARR-C:2018 (79 rules)

  • AUTOSAR-C:2009 rules for Basic Software modules

This provides full coverage for most embedded coding standards in C and C++ projects.

Advanced Metrics and Quality Monitoring

ECLAIR MP computes:

  • All 12 HIS metrics

  • 41 additional metrics assessing maintainability, testability, complexity, and more

Incremental and limit-aware reporting helps pinpoint bottlenecks and quality degradation in real-time.

Traceability and Compliance Automation

Bidirectional requirements traceability and standards-compliant reporting support project auditability:

  • Full toolchain trace (file paths, hashes, compiler options)

  • Deviations with rationale auto-transferred into reports

  • Audit-grade documentation for ISO 26262, IEC 61508, and more

Seamless Integration

ECLAIR MP integrates natively with:

  • Any build system, without modifications

  • All major C++ toolchains

  • Modern development environments on UNIX, Linux, macOS, Windows

Everything from include paths to macros and target-specific attributes is extracted automatically: no personality files, no manual configuration.

Graphical and Command-Line Interfaces

Configure and run verification tasks through:

  • A feature-rich graphical user interface (GUI)

  • Popular IDEs like Eclipse, IntelliJ IDEA, Visual Studio Code

  • Web-based browsing of detailed HTML reports

  • Command-line scripting for CI/CD pipelines

Safety Qualification

ECLAIR MP is qualifiable for safety-critical applications. Qualification kits are available for:

  • ISO 26262, IEC 61508, IEC 62304

  • EN 50128, EN 50657, RTCA DO-178C / DO-330

  • ISO 19014, ISO 25119, and others

Why ECLAIR MP?

  • Covers the latest MISRA C++:2023 guidelines

  • Developed with rigorous quality processes and scientific soundness

  • Ideal for automotive, aerospace, railway, medical, and other high-integrity domains

Learn more