Why does my Polyspace Code Prover Analysis only show coding standards results in the Dashboard and no Code Prover results?

I ran a Polyspace Code Prover analysis and when I look at the Dashboard pane afterwards, all I see is a purple bar graph indicating coding standard violations. There is no red/orange/green pie chart with the Code Prover results.

Answer 1

[MathWorks Support Team]

There are two reasons why this might happen.

1. In the configuration pane under Code Prover Verification -> Precision, check your "Verification level" setting. If it is set to "Source Compliance Checking," then the code is compiled and most coding rule violations are checked, but the code is not thoroughly analyzed. Try changing that setting.

If you are using the command line to run Polyspace, the equivalent option is:

    -to compile

Try changing that to something else, like "-to pass2"

https://www.mathworks.com/help/releases/R2021a/codeprover/ref/verificationlevelto.html

2. Check to see whether you have the unofficial option "-keep-relaunch-files" enabled. You may have added this option when troubleshooting an issue with conflicting declarations or if you were using the Polyspace Obfuscator Tool to send MathWorks an obfuscated form of your source code. If you are using the UI, check for it under "Advanced Settings" in the configuration. If the option is present, remove it.