- The new rules in the amendments are available in the checkers selection interface. See Set checkers by file (-checkers-selection-file).
- All rules are updated as of the amendments.
MISRA C2012 Amendment 1, Addentum 3
4 views (last 30 days)
Show older comments
Horst Dreßel on 8 Nov 2022
support Polyspace Bugfinder R2021b or higher the requiered extensions of MISRA2012 and how can I control the usage ?
Anirban on 10 Nov 2022
Edited: Anirban on 15 Nov 2022
As of release R2022b, Polyspace Bug Finder supports all MISRA C:2012 amendments upto Amendment 2. See Polyspace Support for MISRA C:2012 Amendments. More specifically:
Note that Addendum 3 simply compares the MISRA C:2012 standard against the CERT C standard. Since the Addendum does not add new rules or modify specs of existing rules, there is no change required because of this Addendum. Polyspace Bug Finder supports both standards MISRA C:2012 and CERT C anyway.
More Answers (0)
Code Verification Polyspace Bug Finder Configure and Run Analysis Complete List of Polyspace Bug Finder Analysis Engine Options Coding Standards & Code Metrics
Find more on Coding Standards & Code Metrics in Help Center and File Exchange
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!Start Hunting!