ECLAIR 3.0 has been released
ECLAIR version 3.0 contains many new services and major improvements to existing services, most notably those supporting the MISRA coding standards.
Configurability has also been enhanced and makes it easier to support projects that use C and C++ at the same time and/or use different coding standards on different parts of the project. Deviation mechanisms have also been extended and improved.
New services include the exceedingly useful
B.OBJCOMP, which allows users to guarantee their changes to make the code compliant do not modify the generated object code (which implies no new bug has been introduced). And
B.REMAKE, which automatically builds makefiles that can reproduce a build (and the analysis) at maximum parallelism, even if the project build system does not support parallel builds.