In Polypsace R2025a , For MISRA C2023 few rules are marked in comment as "Not implemented"
4 views (last 30 days)
Show older comments
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
0 Comments
Accepted Answer
Martin Becker
on 24 Jul 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.
More Answers (0)
See Also
Categories
Find more on Polyspace Code Prover in Help Center and File Exchange
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!