ECLAIR 3.13.0 Release Highlights

Release 3.13.0 of the ECLAIR Software Verification Platform is here!  The new version is packed with new features and tons of improvements in all parts of the system and its documentation.  Here is a small sample:

• Added support for new MISRA C and C++ services.
• Added support for MISRA C:2012 Deviation Permits.
• Added tagging systems for mapping CWE weaknesses and CERT-C rules to MISRA guidelines.
• Added a requirements management tool along with services to achieve bidirectional tracing between requirements, code and tests.
• Added new qualifiable services to automate crucial tasks, such as ascertaining that the right software configuration has been built and working with SPDX identifiers.
• Added new plugins for NetBeans-based IDEs (including MPLAB X) and IntelliJ-based IDEs (including CLion).
• Added integrations with GitHub, including the support of Sarif outputs, and with GitLab, including the support of CodeClimate outputs.

Plus a zillion of improvements on all aspects of the system, including in the GUI and existing IDE plugins and integrations, toolchain support, documentation, new output formats and a lot more.

Get a preview

Would you like to take a peek? Watch a 40-min preview of some of the many new features.

Watch now