polyspce code prover rules

Dear Support team,

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

Thank you in advance.

Answer 1

[Pratik]

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!