필터 지우기
필터 지우기

Polyspace bugfinder for keil environment using command line

조회 수: 7 (최근 30일)
Jayesh
Jayesh 2023년 4월 24일
답변: Anirban 2023년 4월 28일
I am using a microcrontroller having stm32f429ZIT(Arm cortex-m4). What should I use as the target and compiler to run polyspace bugfinder from command line

답변 (1개)

Anirban
Anirban 2023년 4월 28일
If you are able to use polyspace-configure, that might be the easiest. Your compiler and target characteristics will be set for you.
Otherwise, if you are using:
  • ARM compiler v5, then use options -compiler armcc -target arm .
  • ARM compiler v6, then use options -compiler armclang -target arm.
  • ARM GNU toolchain, then use these options:
-target mcpu
-int-is-32bits
-long-long-is-64bits
-double-is-64bits
-pointer-is-32bits
-enum-type-definition auto-signed-first
-wchar-t-type-is unsigned-int
For more information, see Generic target options.

카테고리

Help CenterFile 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