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!
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!