- 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 vues (au cours des 30 derniers jours)
Afficher commentaires plus anciens
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 commentaires
Réponses (1)
Anirban
le 28 Avr 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:
-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 commentaires
Voir également
Catégories
En savoir plus sur Polyspace Code Prover dans Help Center et File Exchange
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!