Are the correct target processor type settings required to run MISRA checks?

조회 수: 1 (최근 30일)
Fabian Killus
Fabian Killus 2016년 8월 8일
답변: Christian Bard 2016년 11월 2일
Do the target processor type options (e.g. --double-is-64bits) have any influence on the outcome of the MISRA checks in Polyspace BugFinder? Thank you.

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

채택된 답변

Christian Bard
Christian Bard 2016년 11월 2일
Hi Fabian,
The target processor types have indeed an impact on MISRA results in Polyspace. For instance using Polyspace MISRA-C 2012 checker, it is necessary for all rules dealing with essential types.
Regards, Christian

추가 답변 (0개)

카테고리

Help Center 및 File Exchange에서 Polyspace Code Prover에 대해 자세히 알아보기

태그

Community Treasure Hunt

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

Start Hunting!

Translated by