GSAS Micro Systems Private Limited (GSASMSPL) and BUGSENG signed an agreement for the distribution of all BUGSENG software analysis and verification products.

GSAS Micro Systems is happy to announce that customers from India, Singapore, Korea, Srilanka, Malaysia, Taiwan, Hong Kong, Indonesia, Thailand, Vietnam, Laos, Bangladesh, Philippines, and Cambodia can now count on this new partnership for further guidance and support in selecting the best ECLAIR solution for their safety and security requirements.

ECLAIR

The development of high-quality software is a tough task: ECLAIR has been designed to help developers build better, more reliable systems, and managers to ensure code safety, portability and reliability.

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 the 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 IS FLEXIBLE

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.

TECHNICAL SPECIFICATION

ECLAIR is a powerful platform for the verification of C and C++ programs. Applications range from coding rule validation to the proof of the absence of run-time errors, computation of metrics, and enforcement of stylistic guidelines. The extreme flexibility of ECLAIR allows it to be tailored to any software development process.

ECLAIR is developed in a rigorous way and carefully checked also with extensive internal test suites and industry-standard validation suites, and it is fit for use in mission- and safety-critical software projects: it has been designed from the outset so as to exclude false negatives wherever this is concretely possible.

ECLAIR PACKAGES