Why Polyspace Code prover do not permit to check some MISRA rule ?

Question

Pascal Carré 2019-3-7

2
链接

此问题的直接链接

https://ww2.mathworks.cn/matlabcentral/answers/448774-why-polyspace-code-prover-do-not-permit-to-check-some-misra-rule

回答： Shubham 2023-9-25

Dear Support team,

Why Code prover do not permit to check some MISRA rule 2012 (for example 21.13; 21.14...) and indicate that we shall check them with Bug Finder ?

In case of the use of Code Prover, do you ensure that any rule violation would be detected ?

In case of the use of Bug Finder, do you ensure that any rule violation would be detected ?

If the MISRA rule could be only partially check by Code Prover or Bug Finder, could send us the documentation explaining which are the limitation for each MISRA rule of Code Prover and Bug Finder ?

Thank you in advance.

0 个评论
显示 -2更早的评论隐藏 -2更早的评论

请先登录，再进行评论。

请先登录，再回答此问题。

Answer 1

Shubham 2023-9-25

0
链接

此回答的直接链接

https://ww2.mathworks.cn/matlabcentral/answers/448774-why-polyspace-code-prover-do-not-permit-to-check-some-misra-rule#answer_1317497

Hi Pascal,

I understand you want to know the limitations of Polyspace Code Prover and Polyspace Bug Finder over MISRA 2012 Rules.

Polyspace Bug Finder is the recommended tool for verifying adherence to MISRA C:2012 standards, and it is capable of checking all the rules specified in MISRA C:2012.

You can refer to the following MathWorks documentation to understand more about coding rule violations

https://www.mathworks.com/help/bugfinder/ug/check-for-coding-rule-violations.html

Hope this helps.