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
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
Automatic checking of architectural constraints
Requirements management
Tool certification and qualification
Continuous Compiler Qualification
CerTran for SuperTest
Library qualification
C-rusted
C-rusted in a nutshell
Q&A
Resources
Services
Technical support
Standard
Advanced
Consulting
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
Agricolture & 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
Read: 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
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
Automatic checking of architectural constraints
Requirements management
Tool certification and qualification
Continuous Compiler Qualification
Library qualification
C-rusted
C-rusted in a nutshell
Q&A
Resources
Services
Technical support
Standard
Advanced
Consulting
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
Agricolture & 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
Read: BUGSENG PPL
Partners Network
Our partners
Distributors and Resellers
Universities
Work with us
Work Ethics
Openings
Internships
Back
Continuous Compiler Qualification
CerTran for SuperTest
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
EXTEND YOUR LICENSE
ECLAIR CerTran
CerTran automatically produces one SuperTest configuration for each detected use case and uses the test and validation suite to qualify the compiler for all of them
DISCOVER
ECLAIR Code Scout
New add-on Code Scout automatically tells you the exact portion of C/C++ libraries you are using, avoiding extra and unnecessary qualification work
DISCOVER