Are the correct target processor type settings required to run MISRA checks?
2 views (last 30 days)
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)
Code Verification Polyspace Code Prover Troubleshooting in Polyspace Code Prover Troubleshoot Running Polyspace Analysis Troubleshoot Project Creation