- 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:
Polyspace bugfinder for keil environment using command line
5 ビュー (過去 30 日間)
古いコメントを表示
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
0 件のコメント
回答 (1 件)
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:
-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
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!