ECLAIR

We built ECLAIR to improve software quality. Period.

ECLAIRSoftware is everywhere. It's in our appliances, our vehicles, and even in our medical devices. Software quality has never been more important: reputations and even lives depend on it. Yet with today's competitive world of tight deadlines, it's not easy to produce high-quality software.

That's why we created ECLAIR - to help developers build better, more reliable systems, and managers to ensure code safety, portability and reliability.

ECLAIR it's the only coding standard compliance tool to produce accurate, complete results. 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.

It's easy to make the ECLAIR decision. It's inexpensive to acquire, easy to integrate into the daily work life of developers, and produces vastly superior results which result in cost savings and improved productivity, as well as improved overall quality. Developed by renowned industry experts and based on more than 15 years of research into techniques for automated software analysis and verification, ECLAIR delivers both improved productivity and vastly better product quality. Best of all, ECLAIR delivers high precision and high recall, so less time is wasted chasing nonexistent bugs, and there is less exposure from undetected bugs.

ECLAIR is a general 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.

As each application is licensed separately, there is only one ECLAIR but many possible ECLAIR-based tools. Some of them are standard, because of convergent industrial demand: this is the case for the . Others have been customized to exactly suit the customer needs so, in a sense, they are unique to the customer.

Interested? You can

  • what ECLAIR is and what it can do for you;
  • its potential on your projects;
  • and identify which license suits your needs.
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.