Which Polyspace version is compatible to run MISRA C 2020 STANDARD

Which Polyspace version is compatible to run MISRA C 2020 STANDARD

Answer 1

[Umar]

Hi Komirisetti,

To run the MISRA C 2020 standard in Polyspace, you would need Polyspace Release R2021b or later. These versions include support for the MISRA C 2020 standard, ensuring that your code analysis aligns with the latest guidelines and rules set by MISRA. Make sure to update your Polyspace installation to the required version to utilize the benefits of analyzing your code against the MISRA C 2020 standard effectively.

Answer 2

[Akshat Dalal]

Hi Komirisetti,

I assume that by MISRA C 2020, you are referring to MISRA C 2012 amendment 2 which was released in February 2020. As per the release notes, Polyspace officially started suppoting amendment 2 checks sinca R2021a. There have been improvements in later releases also. You can find what you're looking for in the Polyspace release notes: Release Notes for Polyspace Bug Finder - MATLAB & Simulink - MathWorks India