News

New paper on MISRA C

At the 25th Static Analysis Symposium, SAS 2018, which took place on August 29-31 in Freiburg im Breisgau, Germany, Roberto Bagnara gave a highly-successful tutorial on "The MISRA C Coding Standard and its Role in the Development and Analysis of Safety- and Security-Critical Embedded Software".

ECLAIR 3.2 has been released

ECLAIR version 3.2 contains many new static analyses, especially targeted at security. Support has been improved and extended for C11, C++11, C++14 and C++17.

The quality of ECLAIR HTML reports has been improved further and their generation has been speeded up by more than an order of magnitude. A new class of reports, suitable for printing, has been introduced.

There are new, very convenient installers both for the Windows and the Linux versions.

Support for AUTOSAR C Implementation Rules has been released

An ECLAIR package supporting all the AUTOSAR C Implementation Rules has been released. These rules are applicable for the development and maintenance of all the software of an AUTOSAR ECU written in the C programming language. These 25 rules enhance software quality in terms of reliability (through the avoidance of risky language constructs), readability, maintainability and portability. The ECLAIR package allows complete automatization of checking compliance with respect to all such rules.

Roberto Bagnara is now a member of the MISRA-C Working Group

Roberto Bagnara, our CEO/CTO, is now a member of the MISRA-C Working Group. The working group is in charge of developing and maintaining the MISRA-C coding guidelines. MISRA-C is a set of software development guidelines for the C programming language developed by MISRA (Motor Industry Software Reliability Association). Originally aimed at the automotive industry, MISRA-C is now in widespread use in all industry sectors, especially those concerned with the development of safety- and mission-critical software.

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.

For older news items, see the complete news archive.

We are a passionate team of experts. Do not hesitate to let us have your feedback:
You may be surprised to discover just how much your suggestions matter to us.