Difference between Polyspace R2022b and R2025a for MISRA C 2012 , 2023 rules and directive.

We recently moved from Polyspace R2022b to R2025a. The old reports were made using R2022b. But when we ran the same workspace in R2025a, it showed some violations and warnings. In R2022b, there were no violations or defects for the same code.

So, I want to know what has changed in the MISRA C:2012 checks between R2022b and R2025a. Also, is there any way to find out which exact version of MISRA C:2012 is used by the tool?

In another case, I ran the same workspace in R2025a using both MISRA C:2012 and MISRA C:2023. Both gave the same number of violations and defects.

Can someone please explain both these points ?

Answer 1

[Joseph Sparacino]

Hello Ashish,

Please see the Release Notes for Polyspace Bug Finder: Release Notes for Polyspace Bug Finder.

The Release Notes contains information on what changes from release to release and I find here listed the changes for R2025a regarding MISRA C:2012 and MISRA C:2023.

If this does not answer your question, please reach out again.