What is ECLAIR?

ECLAIR is a powerful platform for software verification. Applications range from coding rule validation, with a particular emphasis on the MISRA and BARR-C coding standards, to the computation of software metrics, to the checking of independence and freedom from interference among software components, to the automatic detection of important classes of software errors.

How ECLAIR works

ECLAIR works on the desktop to find critical defects while software is being coded, in the context of the build environment and compiler. ECLAIR also runs on the server to analyze entire projects. This eliminates the guesswork associated with other verification platforms, reduces cost and provides a true picture of coding standard compliance.


ECLAIR can be easily tailored to any software development process. Thanks to this, ECLAIR can readily be used from its own GUI, from within popular IDEs and CI/CD system.  ECLAIR can also interact with issue-tracking systems for optimal project management.  Anything that can be done with ECLAIR can also be done from the command line, so that its integration capabilities are limitless.