ECLAIR points out possible runtime errors in the coding phase of software in C or C++. This allows these errors to be excluded at an early stage. ECLAIR also checks coding rules, such as the MISRA rules, which aim to avoid unspecified and undefined behavior of the program.
BUGSENG, the manufacturer of ECLAIR, supplies qualification kits for ECLAIR for various safety standards such as CENELEC EN 50128 (railway), ECSS-Q-ST-80C (space systems), IEC 61508 (industry in general), IEC 62304 (medical), ISO 26262 (automotive) and RTCA DO-178C/DO-330 (aerospace). The documents included in the qualification kits are specifically designed to meet the requirements of these standards. Thousands of test cases for MISRA-C:2004, MISRA C:2012 and MISRA C++:2008 included in the qualification kit ensure the reliable detection of rule violations.
Further information on ECLAIR, the qualification kits and an evaluation version can be found here.