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

4 Ansichten (letzte 30 Tage)
Ismet
Ismet am 27 Feb. 2025
Kommentiert: Ismet am 6 Mär. 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?

Melden Sie sich an, um diese Frage zu beantworten.

Akzeptierte Antwort

Christian Bard
Christian Bard am 6 Mär. 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

Weitere Antworten (0)

Kategorien

Mehr zu Polyspace Code Prover finden Sie in Help Center und File Exchange

Tags

Produkte


Version

R2024b

Community Treasure Hunt

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

Start Hunting!

Translated by