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

조회 수: 3 (최근 30일)
Nideesh Madhu
Nideesh Madhu 2022년 1월 12일
답변: Anirban 2022년 1월 12일
We usually do static analysis with polyspace code prover. We enabled MISRA check also but then found some of the rule
are only available in Bugfinder. Do we need to run both? The rules ignored by code prover comes in 'Advisory' category of Misra 2012?

이 질문에 답변하려면 로그인하십시오.

채택된 답변

Anirban
Anirban 2022년 1월 12일
Polyspace Bug Finder is the recommended tool for checking MISRA C:2012. All MISRA C:2012 rules can be checked by Polyspace Bug Finder.
In fact, support for coding rules checking in Polyspace Code Prover will be removed in a future release. See Polyspace Code Prover release notes.

추가 답변 (0개)

카테고리

Help Center 및 File Exchange에서 Run Settings에 대해 자세히 알아보기

태그

제품


릴리스

R2019a

Community Treasure Hunt

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

Start Hunting!

Translated by