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

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.

Answer 1

[Christian Bard]

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