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

1 visualizzazione (ultimi 30 giorni)
Fabian Killus
Fabian Killus il 8 Ago 2016
Risposto: Christian Bard il 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.

Accedi per rispondere a questa domanda.

Risposta accettata

Christian Bard
Christian Bard il 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

Più risposte (0)

Categorie

Scopri di più su Polyspace Code Prover in Help Center e File Exchange

Tag

Community Treasure Hunt

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

Start Hunting!

Translated by