Polyspace bugfinder for keil environment using command line

5 visualizzazioni (ultimi 30 giorni)
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

Risposte (1)

Anirban
Anirban il 28 Apr 2023
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.

Community Treasure Hunt

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

Start Hunting!

Translated by