Free Trial

ECLAIR B is BUGSENG’s dedicated solution for projects adopting the BARR-C:2018 coding standard. Built on the robust ECLAIR Software Verification Platform, this package empowers embedded C developers to ensure code quality, architectural integrity, and compliance from day one: no shortcuts, no compromises.

Key Features

Market-Leading Coverage of BARR-C:2018

ECLAIR B offers the highest BARR-C:2018 coverage available, with:

  • 119 guidelines fully supported

  • 0 partially supported guidelines

  • Support for 88% of all machine-checkable rules

Style, safety, and clarity go hand-in-hand with this industrial-strength subset of C.

Static Analysis, Bug Detection, and Architectural Validation

ECLAIR B integrates:

  • ECLAIR Bug Finder: Detects critical issues such as buffer overflows, null dereferences, memory leaks, double frees, and concurrency bugs in C/C++.

  • Independence Checker: Automatically validates that architectural constraints and independence requirements are respected, which is vital for safety and security assurance.

BARR-C + MISRA Synergy

Adopting BARR-C:2018 not only improves safety and maintainability, but also covers a non-negligible subset of MISRA C:2012, offering an upgrade path for projects evolving toward full MISRA compliance.

AUTOSAR-C and Metrics Support

The package also includes:

  • Enforcement of AUTOSAR-C:2009 rules

  • Full support for 12 HIS metrics + 41 additional metrics for quality evaluation

  • Configurable limits and pinpoint reporting of violations at function, unit, or system level

Bidirectional Traceability and Compliance Reports

Traceability and audit-readiness are built-in:

  • Links between code and requirements

  • Automatic, detailed compliance reports suitable for standards like ISO 26262

  • Full trace from source files to executables, including hashes and toolchain configurations

Seamless Toolchain Integration

Like all ECLAIR packages, B intercepts the toolchain directly: no compiler personalities or manual header/macro declarations. Just build your software as usual and let ECLAIR analyze it in parallel.

Compatible with:

  • Most C/C++ compilers (GCC, ARM, IAR, TI, Keil, LLVM, and many others)

  • Operating systems: Linux, UNIX, macOS, Windows

  • Any build system, IDE, or CI/CD workflow

Developer-Friendly Interface

Verification tasks can be defined and managed via:

  • Graphical User Interface (GUI)

  • IDE integration (Eclipse, VS Code, IntelliJ IDEA, and more)

  • Command-line interface

  • Web-based report browsing

Safety Qualification

ECLAIR B is qualifiable for use in safety-related projects, with qualification kits available for:

  • ISO 26262, IEC 61508, IEC 62304

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

  • ISO 19014, ISO 25119, and more

Why ECLAIR B?

  • Highest-fidelity BARR-C:2018 enforcement on the market

  • Fast, automated compliance checking

  • Integrated static analysis and architecture validation

  • Support for safety and quality certification processes

Learn more