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

1 次查看（过去 30 天）
Pascal Carré
Pascal Carré 2019-3-7
回答： 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.

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

回答（1 个）

Shubham
Shubham 2023-9-25
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.

类别

在 Help Center 和 File Exchange 中查找有关 Run Settings 的更多信息

标签

产品


版本

R2018b

Community Treasure Hunt

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

Start Hunting!

Translated by