Welcome to the MISRA discussion forum

Hello all,

We use MISRA-2004. Do you need to migrate to MISRA-2012? Is MISRA-2012 state of the art?

Any recommendations? Official statements? Decision matrix?

Greetings
Adam

Does 11.0.1 "Member data in non-POD class types shall be private." apply to all data members, or only non-static data members?

In particular, I'm interested whether the constant in this code violates 11.0.1:

Is it just me or is anybody else having trouble too (tested with IE 11 and Firefox 47)?

Rule 2.3 mentions "type declaration".
Rule 2.5 mentions "macro declaration".

But I think the type should not be declared but defined by "typedef".
I also think the macro should not be decalred but defined by "#define".

MISRA Study Group in Japan is confused when translating the guidelines.

Thank you

The following question has been submitted to the working group.

Please can you explain which of the following are non-compliant with rule 10.3.

Quote:a non-negative integer constant expression of essentially signed type may be assigned to an object of essentially unsigned type if its value can be represented in that type

According to Rule 4-5-1 sizeof(bool_type_variable) is not allowed, although it is very meaningful in serialization.
Is this intentional?
If so then why?

Does Rule 12.5 from AMD-1 apply to unsized array parameters (those without a size between the brackets)? E.g.:

MISRA has published a mapping of MISRA C coverage of the "C Secure" requirements found in ISO/IEC TS 17961:2013. This mapping shows that for freestanding applications, MISRA C already has excellent coverage of the "C Secure" requirements. Additional guidelines are provided in MISRA C:2012 Amendment 1 to improve the coverage of the security concerns highlighted by the "C Secure" guidelines.

Both documents are available as free downloads from the "Resources" section of this Bulletin Board.

If you have questions on the new Guidelines then they can be asked under the relevant forum topic (e.g. a question about Rule 12.5 should be added under "MISRA C > MISRA C:2012 guidelines > 8.12 Expressions").

MISRA Compliance:2016 and the associated document MISRA C:2004 Permits are now available as free downloads from the "Resources" section of this Bulletin Board.

MISRA Compliance sets out a framework for claiming compliance with MISRA coding guidelines including guidance on a robust and structured process for the use of deviations. It includes a mechanism for establishing pre-approved "permits" to help streamline the deviation process. It supersedes the compliance, deviation and process requirements previously published in various MISRA coding guidelines.

MISRA C:2004 Permits presents a number of deviation permits covering commonly-encountered use cases for use with the MISRA C:2004 guidelines. It should be used in conjunction with MISRA Compliance:2016, a companion document which describes the purpose of deviation permits and which sets out the principles by which the concept of MISRA Compliance is governed.

While it is widely considered that MISRA C provides best practice guidelines for the development of safety-related systems, the publication of ISO/IEC TS 17961:2013 "C Secure" has generated discussion on the applicability of MISRA C for secure applications.

A mapping of MISRA C coverage of the "C Secure" requirements shows that for freestanding applications, MISRA C already has excellent coverage of the "C Secure" requirements.  Additional guidelines are provided in this document to improve the coverage of the security concerns highlighted by the "C Secure" guidelines.

Attached Files

  MISRA C 2012 AMD1.pdf (Size: 205.95 KB / Downloads: 148)