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

2 visualizzazioni (ultimi 30 giorni)
Ismet
Ismet il 27 Feb 2025
Commentato: Ismet il 6 Mar 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?

Accedi per rispondere a questa domanda.

Risposta accettata

Christian Bard
Christian Bard il 6 Mar 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

Più risposte (0)

Categorie

Scopri di più su Polyspace Code Prover in Help Center e File Exchange

Tag

Prodotti


Release

R2024b

Community Treasure Hunt

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

Start Hunting!

Translated by