polyspce code prover rules

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.

Réponses (1)

Pratik
Pratik le 3 Sep 2024

0 votes

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!

Question posée :

le 13 Mai 2019

Community Treasure Hunt

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

Start Hunting!

Translated by