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

1 Ansicht (letzte 30 Tage)
Fabian Killus
Fabian Killus am 8 Aug. 2016
Beantwortet: Christian Bard am 2 Nov. 2016
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.

Melden Sie sich an, um diese Frage zu beantworten.

Akzeptierte Antwort

Christian Bard
Christian Bard am 2 Nov. 2016
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

Weitere Antworten (0)

Kategorien

Mehr zu Polyspace Code Prover finden Sie in Help Center und File Exchange

Tags

Community Treasure Hunt

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

Start Hunting!

Translated by