Azzera filtri
Azzera filtri

How can I use 'mp5xx' target with 'diab' compiler in polyspace 2020 bug finder?

3 visualizzazioni (ultimi 30 giorni)
Hello,
the target list for diab compiler in polyspace 2020a is limited & as follows:
powerpc, powerpc64, arm, coldfire, i386, mips,mcore,rh850, superh, tricore.
I wanted to use mp5xx or simillar generic (custom) target.
the description for generic target option as given by matlab:
Description
If a target processor is not directly supported by Polyspace®, you can create your own target. You specify the target mcpu representing a generic "Micro Controller/Processor Unit" and then explicitly specify sizes of fundamental data types, endianness and other characteristics.
How can I configure? please advice.

Risposte (1)

Anirban
Anirban il 17 Mar 2023
If you are using the mp5xx target, you can pick powerpc as your target.
For the purposes of a Polyspace analysis, MPC5xx falls in the PowerPC family.

Prodotti


Release

R2020a

Community Treasure Hunt

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

Start Hunting!

Translated by