Where can I find a detailed list of the differences between Bug Finder and Code Prover?
6 views (last 30 days)
Show older comments
Using Polyspace R2017b a Code Prover analysis generated warnings like this:
Warning: MISRA C:2012 checker: the rule 22.6 has been disabled because it is available in Bug Finder only.
I therefore assume that Code Prover is unable to check for the rules 22.1 - 22.4, 22.6, and D4.13. I was however not able to find these differences listed anywhere online. Can someone please point me in the right direction?
0 Comments
Answers (1)
Anirban
on 29 Jun 2018
Hi Andreas,
You can see the differences listed here:
https://www.mathworks.com/help/codeprover/ug/polyspace-misra-c-2012-checker.html
You can see the MISRA C:2012 directives that are not supported in either products listed here:
https://www.mathworks.com/help/codeprover/ug/misra-c2012-guidelines-not-checked.html
0 Comments
See Also
Categories
Find more on Run Settings 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!