Are the correct target processor type settings required to run MISRA checks?
Afficher commentaires plus anciens
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.
Réponse acceptée
Christian Bard
le 2 Nov 2016
0 votes
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
Plus de réponses (0)
Catégories
En savoir plus sur Polyspace Code Prover dans Centre d'aide et File Exchange
le 8 Août 2016
le 2 Nov 2016
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!
Translated by 
