MISRA Discussion Forums - General Questions

Compiler - minimal test suite

Thu, 04 Sep 2025 12:16:54 +0000

It would be nice if MISRA specified a mandatory C/C++ compiler minimal test-suite package to be run against production compiler.

If your compiler is claimed to be C99 compliant, then you shouldn't be worried about not passing.

We have seen so many buggy compilers (e.g. I remember Microchip miscompiling u32 on 8bit code that ran fine in IAR on 32bit)

If we cannot trust the compiler then we can argue about MISRA rules all day, the hidden bugs will remain to be found either by testing or by end user.

It will never be perfect nor exhaustive, but we could raise the minimum bar at least.

Gaps in enums

Thu, 04 Sep 2025 11:06:34 +0000

Can we have a new rule that says

Quote: if enum is used as an iterator type then there shall not be gaps in enum values.

Code:
typedef enum

{

  PIN_A = 1, 

    //missing 2

  PIN_B = 3,

  PIN_C = 4,

  PIN_MAX,

} tPin;

for(tPin i = PIN_A ; i < PIN_MAX; i++) 

{

// i reaching 2 is unintended/refactoring/human error

}

Surely we would want to know/acknowledge that enum has a gap if we plan to iterate over it.
(regardless where the 'for' loop starts/end)

It would make a good higher level/abstraction rule.

Or at least make it advisory.

Roadmap to c23 support

Fri, 28 Feb 2025 15:23:53 +0000

Are there any formal plans/estimates/roadmaps for adding c23 support to MISRA?
If work for this has already begun, how is it going?

MISRA 2023 Test Suite

Mon, 14 Oct 2024 13:27:28 +0000

Hi,

Is there a MISRA 2023 test suite? I'm looking for C code with violations to be used for static analysis tool validation.

Thanks

Gerry

About MISRA-C 2023 Permit

Wed, 18 Sep 2024 11:53:17 +0000

Hi,

I would like to know when MISRA C:2023 permit is published. If no, could I understand there is no new deviation rule between MISRA-C 2012 and MISRA-C 2023

C, Assembler and MISRA

Wed, 25 Oct 2023 08:56:32 +0000

Understanding that assembler code has to be documented and isolated (Directives 4.2 & 4.3 ), are there any limits to how much assembly code there is in a project? Could you have have a project that is mostly assembly with only C wrappers and yet still claim MISRA compliance?

MISRA Compliance Matrix

Thu, 08 Jun 2023 16:57:43 +0000

Hi,

Please could you let me know whether I can download a template MISRA 2012 compliance matrix document and the link to the document?

Kind regards,
Vartika

Suggestions for a MISRA-C-2012-compliant compression library?

Tue, 07 Mar 2023 02:41:35 +0000

Hi all,

Not sure which forum in which to post this. Any suggestions for a MISRA-C-2012-compliant compression library? Everything I'm checking has oodles of "Required" rule violations.

MISRA Unspecified Behavior - AMD 2 - Corrections

Mon, 27 Jun 2022 10:56:36 +0000

Hi,

I sent you a question before for TC3 issue - indeed I noticed that the C standard has TC3 where there are some added things, this is resolved now, but I have one more issue I didn't find an fix for:

Mainly, in the appendix H.2. Critical Unspecified behavior, there seems to be a mistake in rules mentioned for the unspecified behaviors.
Mainly for C99, unspecified behaviors with ID 41 and 42, have Rule 21.9 - but they obviously refer to dynamic allocation, which should be Rule 22.1.

Further more, IDs 43 and 44, which should refer to quick sort and binary search, have Rule 21.10 (for time and date functions) but it should be Rule 21.9.

Finally, IDs 45 and 56, which should be covered by rule 21.10 (no time and date), do not have any reference to rules which avoids the unspecified behavior.

Please see attachment image for more details.

MISRA_AMD2_Issue.png (Size: 83.83 KB / Downloads: 17)

Naming Conventions in MISRA C 2012

Tue, 21 Jun 2022 12:21:02 +0000

What is the meaning of different naming conventions with rules?
For example, “Rule 2.1: A project shall not contains unreachable code” versus “Rule 5-0-7: There shall be no explicit floating-integral conversions of a cvalue expression”.
It seems some companies that use MISRA support only the decimal point rules, while others support the dashed rules.
What is the difference, and/or why is there a split?

CWE Coverage by MISRA

Tue, 30 Nov 2021 12:23:23 +0000

Hi all,

i am currently searching for a CWE coverage list, means which CWEs listed under https://cwe.mitre.org/data/definitions/1000.html (Research concepts, means all) are actually covered by MISRA C? Is there such a list available?

Thank you in advance.

Best regards
Susanne

choosing C compiler

Thu, 04 Mar 2021 02:11:34 +0000

Hello Sir,

I was going through MISRA C 2012 rules, Does MISRA says any guidelines to choose compiler for C as there are many compilers available in the market.

Regards
Subhra

Misra Rules for cppcheck

Wed, 04 Nov 2020 05:58:13 +0000

Hi everyone,

I'm using the application cppcheck for my existing development. Now I'd like to add the functionality of checking my sources against Misra rules.
Therefor I need the Misra Rules in a .txt file format. Where can I get it?

BR

When will MISRA C:2012 permits be available?

Tue, 03 Mar 2020 14:18:34 +0000

When will MISRA C:2012 permits be available? MISRA Compliance:2020 section 4.3 (page 13) mentioned "Public deviation permits, published by MISRA". We would like to see the permits list for MISRA C:2012 not for MISRA C:2004.

Any on-line MISRA reference material with examples?

Mon, 09 Sep 2019 15:35:53 +0000

Hi,

I was wondering if there is any on-line reference material with examples of different MISRA compliance rules and how to fix the issues properly? or is it all only available through the MISRA webstore? https://www.misra.org.uk/Buyonline/tabid...fault.aspx

I'm looking for a way to link to examples for the different MISRA rules but not really seeing something that is similar to seeing issues with CWE, like: http://cwe.mitre.org/data/definitions/825.html

Is there anything similar for the MISRA compliance side of things?

Thanks.