MISRA C2012 Amendment 1, Addentum 3

Hello,

support Polyspace Bugfinder R2021b or higher the requiered extensions of MISRA2012 and how can I control the usage ?

regards

Answer 1

[Anirban]

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:

• 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.

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.