In Polypsace R2025a , For MISRA C2023 few rules are marked in comment as "Not implemented"
4 visualizaciones (últimos 30 días)
Mostrar comentarios más antiguos
Ashish
el 23 de Jul. de 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
0 comentarios
Respuesta aceptada
Martin Becker
el 24 de Jul. de 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.
1 comentario
Más respuestas (0)
Ver también
Categorías
Más información sobre Polyspace Code Prover en Help Center y File Exchange.
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!