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

5 vues (au cours des 30 derniers jours)
Ashish
Ashish le 23 Juil 2025
Modifié(e) : Ashish le 28 Juil 2025
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

Connectez-vous pour répondre à cette question.

Réponse acceptée

Martin Becker
Martin Becker le 24 Juil 2025
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.

Plus de réponses (0)

Catégories

En savoir plus sur Polyspace Code Prover dans Help Center et File Exchange

Tags

Produits


Version

R2025a

Community Treasure Hunt

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

Start Hunting!

Translated by