Where can I find a detailed list of the differences between Bug Finder and Code Prover?
조회 수: 6 (최근 30일)
이전 댓글 표시
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
답변 (1개)
Anirban
2018년 6월 29일
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
참고 항목
카테고리
Help Center 및 File Exchange에서 Run Settings에 대해 자세히 알아보기
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!