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

1 次查看(过去 30 天)
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.

回答(1 个)

Anirban
Anirban 2023-3-17
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.

产品


版本

R2020a

Community Treasure Hunt

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

Start Hunting!

Translated by