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

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.

Answer 1

[Shubham]

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.