polyspce code prover rules

5 visualizaciones (últimos 30 días)

Mostrar comentarios más antiguos

li li el 13 de Mayo de 2019

0
Enlazar

Enlace directo a esta pregunta

https://es.mathworks.com/matlabcentral/answers/461732-polyspce-code-prover-rules

Respondida: Pratik el 3 de Sept. de 2024

Dear Support team,

How to select the dark part as shown in the figure? This is Cherck MISRA C:2012.

图像 1.png

Thank you in advance.

0 comentarios
Mostrar -2 comentarios más antiguosOcultar -2 comentarios más antiguos

Iniciar sesión para comentar.

Iniciar sesión para responder a esta pregunta.

Respuestas (1)

Pratik el 3 de Sept. de 2024

0
Enlazar

Enlace directo a esta respuesta

https://es.mathworks.com/matlabcentral/answers/461732-polyspce-code-prover-rules#answer_1509884

Hi li,

Polyspace Bug Finder is the recommended tool for checking MISRA C:2012. All MISRA C:2012 rules can be checked by Polyspace Bug Finder.

I hope this helps!

0 comentarios
Mostrar -2 comentarios más antiguosOcultar -2 comentarios más antiguos

Iniciar sesión para comentar.

Iniciar sesión para responder a esta pregunta.

Categorías

Code Verification Polyspace Bug Finder Configure and Run Analysis Complete List of Polyspace Bug Finder Analysis Engine Options Coding Standards and Code Metrics

Verification, Validation, and Test Polyspace Bug Finder Configure and Run Analysis Complete List of Polyspace Bug Finder Analysis Engine Options Coding Standards and Code Metrics

Más información sobre Coding Standards and Code Metrics en Help Center y File Exchange.

Etiquetas

Community Treasure Hunt

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

Translated by