How to specify Generic Target Processors with 64 bit pointer in Polyspace

5 次查看（过去 30 天）
Konrad Mayer
Konrad Mayer 2017-9-12
评论： Alexandre De Barros 2017-9-13
We have a target processor with 64 bit pointer. If I try to edit the target processor type, the 64 bit pointer option is disabled. Also the 128 bits data size is not available for the customable processor type mcpu...

请先登录，再回答此问题。

回答（2 个）

Alexandre De Barros
Hi Konrad,
What is the name of this target? There is one target with 64-bit pointer: x86_64. Is it very different from your target?
Best regards,
Alexandre
Konrad Mayer
Konrad Mayer 2017-9-12
Hi Alexandre, the data type sizes are what I need, but the Endianness differs unfortunately. So I can not use your proposed solution for a detailed analysis. Thanks Konrad

类别

在 Help Center 和 File Exchange 中查找有关 Bug Finder Analysis 的更多信息

标签

产品

Community Treasure Hunt

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

Start Hunting!

Translated by