ECLAIR Software Verification Platform

ECLAIR Software Verification Platform is a suite of products by BUGSENG for the automatic analysis and verification of C and C++ programs. It checks compliance with coding standards such as MISRA C and MISRA C++, and finds defects through static analysis, in support of functional safety and security standards.

ECLAIR runs on Windows, Linux and macOS and integrates with CI pipelines; qualification and certification packs are available. Version 16.0.0 was released in October 2026. It is a commercial product.