Are the correct target processor type settings required to run MISRA checks?
1 visualización (últimos 30 días)
Mostrar comentarios más antiguos
Fabian Killus
el 8 de Ag. de 2016
Respondida: Christian Bard
el 2 de Nov. de 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.
0 comentarios
Respuesta aceptada
Christian Bard
el 2 de Nov. de 2016
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
0 comentarios
Más respuestas (0)
Ver también
Categorías
Más información sobre Polyspace Code Prover en Help Center y File Exchange.
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!