MISRA rule 11.4 with Polyspace 2018
Mostrar comentarios más antiguos
Hello, I didn't found in the BF report the MISRA violation rule 11.4 by using Polyspace 2018. This violation was present with Polyspace 2017 on the same source code. Could you give tell me if there is particular setting to enable or is a normal behavior, please?
Thanks in advance
Respuestas (0)
Categorías
Más información sobre Polyspace Code Prover en Centro de ayuda y File Exchange.
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!