Are the correct target processor type settings required to run MISRA checks?

1 次查看（过去 30 天）
Fabian Killus
Fabian Killus 2016-8-8
回答： Christian Bard 2016-11-2
Do the target processor type options (e.g. --double-is-64bits) have any influence on the outcome of the MISRA checks in Polyspace BugFinder? Thank you.

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

采纳的回答

Christian Bard
Christian Bard 2016-11-2
Hi Fabian,
The target processor types have indeed an impact on MISRA results in Polyspace. For instance using Polyspace MISRA-C 2012 checker, it is necessary for all rules dealing with essential types.
Regards, Christian

更多回答（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!

Translated by