What is ECLAIR?

ECLAIR is a powerful platform for software verification. Applications range from coding rule validation, to automatic generation of testcases, to the proof of absence of run-time errors or generation of counterexamples, and to the specification of code matchers and rewriters based both syntactic and semantic conditions.

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.


The extreme flexibility of ECLAIR allows it to be tailored for any software verification problem and to any software development process. The coding rules are specified in a very high-level language using a powerful library of services, something that greatly facilitates the adoption of project-specific coding rules.