Polyspace bugfinder for keil environment using command line

2 次查看（过去 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 Center 和 File Exchange 中查找有关 Automated Driving Toolbox 的更多信息

标签

Community Treasure Hunt

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

Start Hunting!

Translated by