Are the correct target processor type settings required to run MISRA checks?
1 view (last 30 days)
Show older comments
Fabian Killus on 8 Aug 2016
Answered: Christian Bard on 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.
Christian Bard on 2 Nov 2016
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.
More Answers (0)
Find more on Polyspace Code Prover in Help Center and File Exchange
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!Start Hunting!