Which Polyspace version is compatible to run MISRA C 2020 STANDARD

6 次查看(过去 30 天)
Which Polyspace version is compatible to run MISRA C 2020 STANDARD

回答(2 个)

Umar
Umar 2024-7-5
移动:Walter Roberson 2024-10-26,8:05
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.

Akshat Dalal
Akshat Dalal 2024-10-26,7:50
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

标签

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!

Translated by