In Polypsace R2025a , For MISRA C2023 few rules are marked in comment as "Not implemented"

4 次查看（过去 30 天）
Ashish
Ashish 2025-7-23
编辑： Ashish 2025-7-28
for MISRA c 2023 rule many are marked as Not implemented ,can someone please help me to understand what not implemented means here , is it like not needed at all. or it is defined in current MISRA c 2023 standard but in polypscae 2025 it is not yet implemented.
clarification needed as i ave to updated same to my client.
is there option to enable this not implemented rules in polyspace R2025a

请先登录，再回答此问题。

采纳的回答

Martin Becker
Martin Becker 2025-7-24
Hello Ashish,
With "not implemented", we indicate that Polyspace cannot check the respective guideline, because it does not support it yet. It is in our plans to add the few missing rules in upcoming releases.

更多回答（0 个）

类别

在 Help Center 和 File Exchange 中查找有关 Polyspace Code Prover 的更多信息

标签

产品


版本

R2025a

Community Treasure Hunt

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

Start Hunting!

Translated by