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

8 visualizaciones (últimos 30 días)
Ismet
Ismet el 27 de Feb. de 2025
Comentada: Ismet el 6 de Mzo. de 2025
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?

Iniciar sesión para responder a esta pregunta.

Respuesta aceptada

Christian Bard
Christian Bard el 6 de Mzo. de 2025
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

Más respuestas (0)

Categorías

Más información sobre Polyspace Code Prover en Help Center y File Exchange.

Etiquetas

Productos


Versión

R2024b

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!

Translated by