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
Supported platforms
ECLAIR modern design makes it suitable for all sorts of use cases and computational environments
Unlike legacy competitors developed last century, the ECLAIR Software Verification Platform® was engineered with a contemporary architecture that lets it integrate effortlessly with a wide range of computational environments, development processes, workflows, and tools. Full support for every CI/CD system, IDE, and compilation toolchain—each with its own dialect of C or C++—was not bolted on later; it was baked into ECLAIR’s original requirements, and the difference is obvious.
Toolchains
IDE
CI/CD
OS
We keep this list up to date to the best of our ability, but support for new toolchains is added continuously. If you don’t see what you are looking for, feel free to contact us – chances are we already support and the table just has not been updated yet.
Manufacturer
Target
Toolchain
Freescale/CodeWarrior/NXP
ARM
Kinetis K
CodeWarrior Development Studio for Microcontrollers Kinetis Freescale Compiler
Freescale/CodeWarrior/NXP
ARM
Kinetis K
CodeWarrior Development Studio for Microcontrollers Kinetis GCC Compiler
Freescale/CodeWarrior/NXP
PowerPC
CodeWarrior Development Studio for Power Architecture Processors Compiler
Freescale/CodeWarrior/NXP
S12 L-ISA
CodeWarrior Development Studio for Microcontrollers S12Z
Freescale/CodeWarrior/NXP
HC12
CodeWarrior Development Studio for Microcontrollers HC12
Freescale/CodeWarrior/NXP
HCS12
HCS12X
CodeWarrior Development Studio for Microcontrollers HCS12(X)
Freescale/CodeWarrior/NXP
x86_64
i686
NXP GCC Compiler
Cosmic
HC05
Cosmic Software C Cross Compiler for Freescale HC05
Cosmic
HC08
HCS08
Cosmic Software C Cross Compiler for Freescale HC08/HCS08
Cosmic
HC11
Cosmic Software C Cross Compiler for Freescale HC11
Cosmic
HC16
Cosmic Software C Cross Compiler for Freescale HC16
Cosmic
HC12
HCS12
HCS12X
Cosmic Software C Cross Compiler for Freescale HC12/HCS12
Cosmic
CPU32
Cosmic Software C Cross Compiler for Freescale CPU32
Cosmic
Cortex-M
Cosmic Software C Cross Compiler for CORTEX-M
Cosmic
HCS12X
Cosmic Software C Cross Compiler for Freescale HCS12X
Cosmic
PowerPC VLE
Cosmic Software C Cross Compiler for PowerPC VLE
Cosmic
ST7
Cosmic Software C Cross Compile
Cosmic
STM8
Cosmic Software C Cross Compiler for ST Microelectronics STM8
Cosmic
XGATE
Cosmic Software C Cross Compiler for ST Microelectronics ST7
CrossWorks
ARM
CrossWorks for ARM Compiler
CrossWorks
MSP430
CrossWorks for MSP430 Compiler
Green Hills
ARM
MULTI: C and C++ Compiler for Embedded ARM
Green Hills
V850
RH850
MULTI: C and C++ Compiler for Embedded
Green Hills
PowerPC
MULTI: C and C++ Compiler for Embedded Power Architecture
HighTec
TriCore
Aurix
TriCore Compiler for ARM
IAR
ARM
IAR C/C++ Compiler for Arm Limited’s Arm® Cores
IAR
M32C/100
IAR C/C++ Compiler for the Renesas R32C/100 Microcomputer Family
IAR
78K0
78K0S
78K0R
IAR C/C++ Compiler for the Renesas 78K0/78K0S and 78K0R Micro-computer Subfamilies
IAR
AVR
IAR C/C++ Compiler for Microchip Technology’s AVR Microcontroller Family
IAR
STM8
IAR C/C++ Compiler for the STMicroelectronics STM8 Microcontroller Family
IAR
V850
IAR C/C++ Compiler for the Renesas V850 Microcontroller Family
IAR
M16C/1X,
M16C/2X
M16C/3X
M16C/4X
M16C/5X
R8C
IAR C/C++ Compiler or Renesas M16C/1X–3X, 5X–6X and R8C Series of CPU cores
IAR
MSP430
IAR C/C++ Compiler for the Texas Instruments MSP430 Microcontroller Family
IAR
RL78
IAR C/C++ Compiler for the Renesas RL78 Microcontroller Family
Keil/ARM
ARM
Keil ARM® Compiler
Keil/ARM
80C166
80C167
C166 Compiler
Keil/ARM
MCS251
C251 Compiler for the MCS® 251 Architecture
Keil/ARM
8051
Keil C51 Compiler
Keil/ARM
8051
Keil Cx51 Compiler
Melexis
Mlx16
Mlx16-8
Mlx16x8
Mlx16fx
Mlx16e8
Mlx16ex
Mlx16-GCC Compiler
Microchip
dsPIC30/33
PIC24
MPLAB® C30 C COMPILER
Microchip
PIC18
PICmicro
MPLAB® C18 C COMPILER f
Microchip
PIC10
PIC12
PIC16
PIC18
PIC14000
MPLAB® XC8 C Compiler for PIC® MCU
Microchip
AVR
MPLAB® XC8 C Compiler for AVR® MCU
Microchip
dsPIC30/33
PIC24
MPLAB® XC16 C Compiler
Microchip
PIC32C/SAM
PIC32M
MPLAB® XC32 C/C++ Compiler
BlackBerry
Intel 8088
i686
MIPS
PowerPC
SH-4
ARM
StrongARM
XScale
QNX® Neutrino® RTOS C++, C compilers
BlackBerry
Armv9-A
Armv8-A
x86_64
QNX® Software Development Platform, C and C++ compilers
Renesas
RH850
Renesas RL Compiler CC-RL
Renesas
RL78
Renesas RL Compiler CC-RL
Renesas
RX
Renesas RX Compiler CC-RX
Renesas
SuperH
Renesas SuperH RISC engine C/C++ Compiler
Renesas
RL78
78K0R
Renesas C Compiler CA78K0R for RL78 Family and 78K0R
Renesas
CC78K0R
78K0R
Renesas C Compiler CC78K0R for 78K0R
Renesas
RH850
Renesas C Compiler Package for RH850 Family
SOFTUNE
F2MC-16
F 2 MC-16 FAMILY SOFTUNE TM C COMPILER
SOFTUNE
FR
FR FAMILY SOFTUNE TM C/C++ COMPILER
TASKING
TriCore
Aurix
TASKING VX-Compiler for TriCore
TASKING
ARM
TASKING VX-Compiler for ARM Cortex
TASKING
8051
TASKING VX-Compiler for 8051
TASKING
PCP
TASKING VX-Compiler for PCP
TI – Texas Instruments
ARM
Texas Instruments ARM Optimizing C/C++ Compiler
TI – Texas Instruments
ARM
Texas Instruments ARM Optimizing C/C++ Compiler
TI – Texas Instruments
Cortex-M
Cortex-R
TI Arm Clang Compiler
TI – Texas Instruments
C2000
TMS320C28x Optimizing C/C++ Compiler
TI – Texas Instruments
C6000
TMS320C6000 Optimizing Compiler
TI – Texas Instruments
MSP430
MSP430 Optimizing C/C++ Compiler
Wind_River
ARM
XScale
ColdFire
68K
CPU32
MCORE
MIPS
HC12
PowerPC
RH850
SH
SPARC
TriCore
i686
Wind River Diab Compiler
CAES
LEON
ERC32
LEON/ERC32 RTEMS Cross Compilation System (RCC)
Infineon
TriCore
DAVE4 ARM-GCC C Compiler
GNU
x86_64
i686
GNU GCC Compiler
GNU
ARM
GNU GCC Compiler for ARM
GNU
RISC-V
NIOS II
GNU GCC Compiler for RISC-V
Microsoft
i686
x86_64
IA-32
IA-64
ARM
ARM64
Microsoft Visual C++ Compiler (MSVC)
Espressif
ESP32
ESP32-S
ESP32-C
Espressif IoT Development Framework C/C++ Compiler
Xilinx
MicroBlaze
MicroBlaze GNU Compiler
Andes Technology Corporation
ISA-V5
Andes Tech GCC Compiler for ISA-V5 family
The xPack Project
ARM
xPack GNU Arm Embedded GCC
The xPack Project
RISC-V
xPack GNU Arm Embedded GCC
Emscripten
wasm32
wasm64
Emscripten compiler toolchain for WebAssembly
MinGW-w64
x86_64
i686
MinGW-w64 GCC compiler
Intel
NIOS
Intel FPGA – NIOS2EDS GCC Altera compiler
Intel
x86_64
Intel FPGA – x86_64 MinGW32 GCC compiler
LLVM Project
x86_64
i686
Clang Compiler
We keep this list up to date to the best of our ability, but support for new IDEs is added continuously. If you don’t see what you are looking for, feel free to contact us – chances are we already support and the table just has not been updated yet.
Family
IDE
Family
IDE
Eclipse
Arm Development Studio
Netbeans
NetBeans IDE
Eclipse
CodeWarrior Development Studio
Netbeans
MPLAB X IDE
Eclipse
CrossCore Embedded Studio
IntelliJ
IntelliJ IDEA
Eclipse
Eclipse IDE for C/C++ Developers
from the Eclipse Foundation
IntelliJ
CLion
Eclipse
HighTec Development Platform
Visual Studio
Eclipse
MCUXpresso IDE
Visual Studio Code
Eclipse
QNX Momentics Tool Suite
Emacs
Eclipse
Renesas e2 studio
Eclipse
SiFive Freedom Studio
Eclipse
Silicon Labs Simplicity Studio
Eclipse
STM32CubeIDE
Eclipse
TASKING TriCore Eclipse IDE
Eclipse
Texas Intruments
Code Composer Studio
Eclipse
Xilinx Vitis IDE
Eclipse
DAVE (Infineon)
All CI/CD systems that command support configuration via line can be integrated with ECLAIR.
On eclairit.com you can see what it looks like to use ECLAIR on an integration server and browse the reports browser, without having to install ECLAIR directly in your on your PC. No registration is required.
CI/CD
Jenkins
GitHub
GitLab
ECLAIR is it is tested on many operating systems and expected to work also on several not-officially supported OS. Contact us to verify support for your exact version.
Operating system
macOS
Linux
Windows
We are a passionate team of experts. Do not hesitate to let us have your feedback:
You may be surprised to discover just how much your suggestions matter to us.
CONTACT US