ECLAIR

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.

ECLAIR is a coding standard compliance tool which produces 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.

There is also a MISRA-C + HIS Metrics package as an add-on.