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

4 ビュー (過去 30 日間)
Ismet
Ismet 2025 年 2 月 27 日
コメント済み: Ismet 2025 年 3 月 6 日
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?

サインインしてこの質問に回答する。

採用された回答

Christian Bard
Christian Bard 2025 年 3 月 6 日
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
  1 件のコメント
Ismet
Ismet 2025 年 3 月 6 日
Thank you very much, did not have the amendments on my radar!

サインインしてコメントする。

その他の回答 (0 件)

カテゴリ

Help Center および File Exchange で Polyspace Code Prover についてさらに検索

タグ

製品


リリース

R2024b

Community Treasure Hunt

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

Start Hunting!

Translated by