Free Trial
ECLAIR Suite
Free Trial
ECLAIR Suite
Implementing state of the art technology, BUGSENG designed the ECLAIR Software Verification Platform®, a powerful suite of products for the automatic analysis and verification of C and C++ programs
FAQ
BOOK A DEMO
Login
Static Analysis
Overview
Supported platforms
Licensing
ECLAIR Packages
Base
MC
MP
MCP
Add-ons
Reports
How it works
eclairit.com
Free trial
Educational program
Functional Safety Qualification
Overview
FuSa Certification Pack
Qualification Kits
Qualification Service
Compiler and Library Qualification
Overview
CerTran for SuperTest
ECLAIR Code Scout
Solutions
Free Trial
Solutions
Solutions
Navigate products capabilities and solutions
Contact us
Discover
Subscribe to our Newsletter
Tooling Capabilities
Compliance to safety and security standards
Automatic toolchain configuration
Continuous Integration
Automatic checking of architectural constraints
Requirements management
Tool certification and qualification
AI capabilities
ECLAIR AI Companion & Companion Pro
Continuous Compiler Qualification
CerTran for SuperTest
Library qualification
ECLAIR Code Scout
C-rusted
C-rusted in a nutshell
Q&A
Resources
Services
Technical support
Standard
Advanced
Consulting
MISRA Onboarding
MISRA Compliance
Legacy code
Development and verification
Integration in CI/CD infrastructures
Training
Effective MISRA C
Effective MISRA C++
MISRA Compliance
ECLAIR (tailored)
Industries
Free Trial
Industries
Industries
Functional safety standards provide guidance, requirements and objectives for the development of all embedded software, whether or not this is safety critical
LEARN MORE
Automotive
Overview
Resources
Industrial
Overview
Resources
Railway
Overview
Resources
Aerospace
Overview
Resources
Medical
Overview
Resources
Agriculture & Forestry
Overview
Resources
Resources
Free Trial
Resources
Resources
Functional safety standards provide guidance, requirements and objectives for the development of all embedded software, whether or not this is safety critical
ACCESS PRIVATE AREA
Subscribe to our newsletter
Brochures
BUGSENG
ECLAIR Suite
Training
Certificates
Process (ISO 9001)
Tool Suite (FuSa Standards)
White Papers
Blog
Webinars
Newsroom
Press Releases
Customer Stories
Selected Papers
Scientific Publications
Private Area
Request an account to access an exclusive library of contents and demo
Login
About
Free Trial
BUGSENG
About
Learn more about our team of experts, our committments within the community, our certifications, our partners
VIEW MORE RESOURCES
Subscribe to our newsletter
BUGSENG
Who we are
Imprint
Quality policy
Company Assets
OSS Commitment
Shortcut: BUGSENG PPL
Partners Network
Our partners
Distributors and Resellers
Universities
Work with us
Work Ethics
Openings
Internships
ECLAIR Suite
Solutions
Industries
Resources
About
Back
ECLAIR Suite
ECLAIR Suite
Implementing state of the art technology, BUGSENG designed the ECLAIR Software Verification Platform®, a powerful suite of products for the automatic analysis and verification of C and C++ programs
FAQ
BOOK A DEMO
Login
Static Analysis
Overview
Supported platforms
Licensing
ECLAIR Packages
Base
MC
MP
MCP
Add-ons
Reports
How it works
eclairit.com
Free trial
Educational program
Functional Safety Qualification
Overview
FuSa Certification Pack
Qualification Kits
Qualification Service
Compiler and Library Qualification
Overview
CerTran for SuperTest
ECLAIR Code Scout
Back
Solutions
Solutions
Navigate products capabilities and solutions
Contact us
Discover
Subscribe to our Newsletter
Tooling Capabilities
Compliance to safety and security standards
Automatic toolchain configuration
Continuous Integration
Automatic checking of architectural constraints
Requirements management
Tool certification and qualification
AI capabilities
ECLAIR AI Companion & Companion Pro
Continuous Compiler Qualification
Library qualification
C-rusted
C-rusted in a nutshell
Q&A
Resources
Services
Technical support
Standard
Advanced
Consulting
MISRA Onboarding
MISRA Compliance
Legacy code
Development and verification
Integration in CI/CD infrastructures
Training
Effective MISRA C
Effective MISRA C++
MISRA Compliance
ECLAIR (tailored)
Back
Industries
Industries
Functional safety standards provide guidance, requirements and objectives for the development of all embedded software, whether or not this is safety critical
LEARN MORE
Automotive
Overview
Resources
Industrial
Overview
Resources
Railway
Overview
Resources
Aerospace
Overview
Resources
Medical
Overview
Resources
Agriculture & Forestry
Overview
Resources
Back
Resources
Resources
Functional safety standards provide guidance, requirements and objectives for the development of all embedded software, whether or not this is safety critical
ACCESS PRIVATE AREA
Subscribe to our newsletter
Brochures
BUGSENG
ECLAIR Suite
Training
Certificates
Process (ISO 9001)
Tool Suite (FuSa Standards)
White Papers
Blog
Webinars
Newsroom
Press Releases
Customer Stories
Selected Papers
Scientific Publications
Private Area
Request an account to access an exclusive library of contents and demo
Login
Back
About
About
Learn more about our team of experts, our committments within the community, our certifications, our partners
VIEW MORE RESOURCES
Subscribe to our newsletter
BUGSENG
Who we are
Imprint
Quality policy
Company Assets
OSS Commitment
Shortcut: BUGSENG PPL
Partners Network
Our partners
Distributors and Resellers
Universities
Work with us
Work Ethics
Openings
Internships
Back
Continuous Compiler Qualification
CerTran for SuperTest
Back
Library qualification
ECLAIR Code Scout
Packages
Here are the available ECLAIR packages
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
DISCOVER
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
DISCOVER
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
DISCOVER
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
DISCOVER
Add-ons
Additional tools you can add on top of any ECLAIR package
ECLAIR AI Companion
Bring ECLAIR guidance into everyday engineering work at no additional ECLAIR licence fee
Included with ECLAIR
Consult ECLAIR manuals and product knowledge
Develop and review ECLAIR configurations
Explain coding rules and findings
Work through possible deviations and corrections using ECLAIR knowledge and the context available in the workflow
Propose changes and, where the client permits, implement approved changes and rerun ECLAIR
DISCOVER
Companion Pro
Add a more direct path from ECLAIR reports to focused AI-assisted engineering work
Annual add-on
Everything in ECLAIR AI Companion
Richer, directly retrievable, evidence-rich report context
Progressive, bounded retrieval extended to detailed report evidence
Less manual context gathering in report-driven workflows
Designed to reduce token use in detailed report investigations
EXTEND YOUR LICENSE
ECLAIR CerTran
Stop configuring your validation suite manually
Automatic detection of all compiler use cases across complex build systems
Deep analysis of compiler options and defaults: no missed edge cases
Auto-generation of SuperTest configurations for every detected use case
Designed for multi-component systems with diverse compiler behaviors
Enables shift-left verification and seamless CI/CD integration
Ensures repeatability, traceability, and reproducibility
Produces structured qualification evidence aligned with safety standards
Supports both C and C++ toolchains and use cases
EXTEND YOUR LICENSE
ECLAIR Code Scout
Stop qualifying unused portions of libraries
Pinpoints the exact portions of C/C++ libraries actually used by your code
Eliminates unnecessary qualification work so you can focus only on what is truly in use
Essential for qualifying large libraries
Produces tool configurations to exclude unused code from static analysis
Reduces verification time and streamlines compliance checks
Ideal for reuse scenarios under ISO 26262, EN 50128, and related standards
Works with custom entry points and complex build setups
EXTEND YOUR LICENSE