ECLAIR MC is BUGSENG’s comprehensive solution for developing high-integrity C software in compliance with MISRA C and other best practices in safety- and mission-critical domains. Built on top of the ECLAIR Software Verification Platform, this package integrates advanced static analysis tools, automated compliance checking, and powerful reporting and metrics capabilities, all designed to meet the highest industry standards with no compromises.
ECLAIR MC supports all editions and revisions of MISRA C, including MISRA C:2025, MISRA C:2023, MISRA C:2012 (+ all amendments), MISRA C:2004, and MISRA C:1998. Both rules and directives are fully covered, with contextual analysis ensuring precise, standard-conformant enforcement.
The package includes:
ECLAIR Bug Finder: Detects crashes, vulnerabilities, and undefined behavior in C/C++.
Independence Checker: Automatically verifies architectural constraints, enforcing independence and freedom from interference, vital for safety and security assurance.
Alongside MISRA C, ECLAIR MC enforces 79 stylistic rules from BARR-C:2018 and supports the AUTOSAR C implementation guidelines for automotive software components.
ECLAIR MC computes 53 code metrics—including the full set of 12 HIS metrics—offering deep insights into code quality, maintainability, and complexity. Incremental and threshold-aware reporting pinpoints issues precisely where they occur.
Bidirectional requirements traceability is built-in, supporting full auditability. Compliance reports can include:
Complete toolchain traces
Configuration details
Cryptographic hashes of inputs and outputsThese reports meet ISO 26262 and other standard requirements for traceability and repeatability.
ECLAIR MC auto-detects build parameters and compiler options without user intervention. It integrates effortlessly with:
Any build system
Most C/C++ compilers and cross-compilers
Modern OSs: UNIX, Linux, macOS, Windows
IDEs: Eclipse, Visual Studio Code, IntelliJ IDEA, and more
Use ECLAIR interactively via its intuitive GUI or in fully automated CI/CD pipelines. Web-based and IDE-integrated visualizations make rule violations and metric results accessible across teams.
ECLAIR MC is qualifiable for safety-critical development under all major standards, including:
ISO 26262 (Automotive)
IEC 61508 (Industrial)
IEC 62304 (Medical)
EN 50128 / EN 50657 (Railway)
RTCA DO-178C / DO-330 (Aerospace)
Qualification kits are available to support tool qualification processes required by these standards.
Proven scientific foundation and rigorous development
Trusted by leaders in automotive, aerospace, railway, medical, and industrial automation
Backed by BUGSENG’s expert support: configuration assistance included
