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

misrapolyspace

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.

Best Answer

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