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