- 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
11 visualizzazioni (ultimi 30 giorni)
Anirban il 10 Nov 2022
Modificato: Anirban il 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.
Più risposte (0)
Code Verification Polyspace Bug Finder Configure and Run Analysis Complete List of Polyspace Bug Finder Analysis Engine Options Bug Finder Analysis