Where can I find a detailed list of the differences between Bug Finder and Code Prover?
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?
답변 수: 1
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
로그인 to comment.
참고 항목
Discover what MATLAB® can do for your career.
Opportunities for recent engineering grads.
Apply Today
Translated by 
Select a Web Site
Choose a web site to get translated content where available and see local events and offers. Based on your location, we recommend that you select: .
Select web siteYou can also select a web site from the following list:
Americas
- América Latina (Español)
- Canada (English)
- United States (English)
Europe
- Belgium (English)
- Denmark (English)
- Deutschland (Deutsch)
- España (Español)
- Finland (English)
- France (Français)
- Ireland (English)
- Italia (Italiano)
- Luxembourg (English)
- Netherlands (English)
- Norway (English)
- Österreich (Deutsch)
- Portugal (English)
- Sweden (English)
- Switzerland
- United Kingdom (English)
댓글 수: 0
로그인 to comment.