Polyspace Checks MISRA-C:2012 Directives which are Non-existent in the Document

Polyspace includes in the MISRA-C:2012 ruleset some directives (D5.1 - D5.3), which are actually not part of the official document (see both screenshots)

They were only added in the MISRA-C:2023 document, thats why I don't understand this deviation.

Do you know the reason?

Answer 1

[Christian Bard]

Directive 5 is coming with amendment 4 of MISRA C:2012 - see official document here: https://www.misra.org.uk/app/uploads/2023/03/MISRA-C-2012-AMD4.pdf

[Ismet]

Thank you very much, did not have the amendments on my radar!