MISRA rule 11.4 with Polyspace 2018
Show older comments
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
Answers (0)
Categories
Find more on Polyspace Code Prover in Help Center and File Exchange
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!