Free Trial

ECLAIR MCP is BUGSENG’s most complete solution for verifying and enforcing safety, security, and coding compliance in mixed C/C++ codebases. Built on top of the ECLAIR Software Verification Platform, this package combines all features of both the MC and MP packages, enabling development teams to apply the full spectrum of coding standards and verification techniques in a unified environment.

Whether you are working with legacy C, modern C++, or hybrid systems, ECLAIR MCP ensures consistent rule enforcement, architectural compliance, defect detection, and audit-ready reporting across your entire project.

Key Features

MISRA C and MISRA C++ Coverage

  • Supports MISRA C:2025, 2023, 2012 (+ Amendments), 2004, and 1998

  • Supports MISRA C++:2023 and 2008

  • Dedicated checkers for both languages; not a translation of one into the other

  • Accurate enforcement of all rules and directives with contextual semantic analysis

Static Analysis, Bug Detection, and Independence Checking

Includes:

  • ECLAIR Bug Finder: Detects undefined behavior, crashes, vulnerabilities, and violations of language constraints

  • Independence Checker: Enforces architectural boundaries and validates non-interference, which is key for meeting functional safety standards

Coding Standards Beyond MISRA

  • Enforces the full stylistic subset of BARR-C:2018 (79 rules)

  • Supports AUTOSAR-C:2009 guidelines for automotive Basic Software

Rich Metrics and Incremental Reporting

  • Computes 53 metrics, including all 12 HIS metrics

  • Tracks maintainability, testability, complexity, and more

  • Incremental and threshold-aware reports detect quality regressions early

Requirements Traceability and Compliance Reporting

  • Built-in bidirectional traceability between requirements, code, and tests

  • Audit-ready compliance reports including:

    • Toolchain and configuration traces

    • Cryptographic hashes of inputs/outputs

    • Deviation records with justification

Zero-Setup Integration

  • Automatically reconstructs full build context: no personality files or manual configuration

  • Integrates with all major C/C++ compilers and cross-compilers

  • Compatible with all common build systems and CI/CD environments

  • Runs on UNIX, Linux, macOS, and Windows

Flexible Interfaces

  • Use via intuitive graphical UI, integrated IDE support (Eclipse, IntelliJ IDEA, VS Code), or headless CI pipelines

  • Web-based navigation of results

  • Full support for command-line scripting and automation

Safety-Related Qualification

ECLAIR MCP is qualifiable for safety-critical projects under a wide range of functional safety and software assurance standards:

  • ISO 26262 (Automotive)

  • IEC 61508 (Industrial)

  • IEC 62304 (Medical)

  • EN 50128 / EN 50657 (Railways)

  • RTCA DO-178C / DO-330 (Aerospace)

  • ISO 19014 (Earth-moving machinery)

  • ISO 25119 (Agricultural and forestry machinery)

Qualification kits are available to support tool qualification activities as required by these standards.

Why Choose ECLAIR MCP?

  • Unified support for C and C++ coding standards in one integrated package

  • Enables mixed-language projects to apply consistent verification policies

  • Backed by BUGSENG’s scientific approach and expert support

  • Ideal for high-assurance development across all regulated industries

 

Contact us to schedule a demo