Does R2022b support MISRA C:2012 Amendment 3 (AMD3)?
Show older comments
We have installed Polyspace R2022b. I checked https://jp.mathworks.com/help/bugfinder/ug/polyspace-support-for-misra-c-2012-amendments.html?lang=en, it seems to say that R2022b suppuort Amendment 3. However, I don't find MISRA C:2012 Rule 23 in our polyspace MISRA 2012 choose checker view.In the above mentioned sit, "MISRA C:2012 Amendment 3 (AMD3)" secton says in includes Rule 23. Is that means our Polyspace R2022b version has not support the AMD3?
Answers (1)
Walter Roberson
on 14 Nov 2024
0 votes
MISRA C:2012 Amendment 3 support was added in R2024a.
Categories
Find more on Polyspace Code Prover in Help Center and File Exchange
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!