Polyspace bugfinder for keil environment using command line

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

Answer 1

[Anirban]

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.