12
Key Facts
- The hardest part of the configuration, namely the adaptation to the compiler toolchain and the particular language dialect(s) used in the project, is fully automatic. In fact, ECLAIR automatically interacts with the toolchain in order to obtain reliable results and save your time. Most popular C/C++ compilers and cross compilers are supported.
- Detailed reports are interactive, with high-quality messages (tracking macro expansion, header file inclusion, view sources pre/post-processing, dynamically selecting tasks...). The quality is such that ECLAIR ODF reports can be directly shared with the commissioning organization to demonstrate MISRA compliance.
- Our technical support team consists of product and technology experts with extensive experience in coding standards and development environments. BUGSENG offers online and self-help support, along with issue-tracking tools for case submission, monitoring, and updates.
Categories
Static and Run-Time Analysis Tools
Product information
ECLAIR is a powerful platform for the automatic analysis and verification of C and C++ programs. Here is a selection of key features:
- Continuous compliance to coding standards
- Automatic toolchain configuration
- Use from GUI, command line, IDE, CI/CD systems
- Automatic checking of independence and freedom from interference
- Integrated requirements management tool
- Certified and qualifiable for the main functional-safety standards
- Advanced use in Docker containers
Product Expert
Download product information