polyspce code prover rules

5 次查看(过去 30 天)
li li
li li 2019-5-13
回答: Pratik 2024-9-3
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.

回答(1 个)

Pratik
Pratik 2024-9-3
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!

Community Treasure Hunt

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

Start Hunting!

Translated by