ECLAIR 3.14.0 is coming: get a preview

New release 3.14.0 of the ECLAIR Suite will be available soon.   The new version brings new features and improvements in all parts of the system and its documentation.  Here is a small sample:

• Added support for MISRA C:2023, including Appendix E, which greatly simplifies the compliance work for auto-generated code.
• Now that there are so many versions of MISRA C around (with or without the revisions, amendments and technical corrigenda), we have added a “MISRA C versioning” feature allowing all projects to stay with the version of MISRA C that was approved for them, independently from any past or future changes to MISRA C.
• Added support for MISRA C++:2023.
• The last bit of manual configuration has gone: now you do not even have to tell ECLAIR which compilation toolchains your project uses.
• Also, when it comes to invoking the toolchains that are used to compile source code, several aspects can now be checked. For instance, you can verify if there are compilation flags, making sure you are actually using the intended options and compilers.
• Leveraging the feature described in the previous item, the new eclairit driver turns any command you might use to compile your project into a command to analyze it.
• Did you know that a wrong choice of compilation options can result in undefined and/or unwanted behavior? ECLAIR 3.14.0 comes with a new service that allows avoiding this risk.
• The ECLAIR parser has been updated to support the most recent versions of C and C++.
• Reports generated by external tools (e.g., compilers, coverage analyzers, fuzzers and mutation-testing tools) can now be imported so as to obtain complete software verification reports: these can be generated in all formats available with ECLAIR.
• Support for new Renesas toolchains has been added; already-supported toolchains have been updated so as to cover the respective latest versions (e.g., clang, GCC, IAR, Texas Instruments, Tasking, …).
• New add-on Scout automatically tells you the exact portion of C/C++ libraries you are using. You most certainly do not want to put in extra and unnecessary qualification work.

GET A PREVIEW

Watch a 40min+Q&A webinar to get a preview! After a quick overview of the whole suite of products, we focus on the static analyzer and give a preview of the upcoming new release, ECLAIR 3.14.0. This is particularly useful to optimize the evaluation process and learn how to get the most out of your ECLAIR license.

Watch it now