PSCP: What is this report metric?

This is the last metric shown in Chapter 2 of generated PSCP reports. It seems to be 100% unless there is a red check.In this case, there was 1 red check out of about 100 files processed. When the red check was eliminated, the value changed to 100%. I looked through the user guide and reference docs but did not find an answer.

Answer 1

[Chandrika]

Hello David,

From the screenshot you shared, I could understand that the metric "Percentage of code checked for run-time errors" in your Polyspace Code Prover report seems to be 100% upon eliminating a red check.

Please know that this observation is actually expected since once a red check is hit, Polyspace cannot analyze the remaining code in the same scope as the check, thus never checking 100% of the code. In this case, you thus need to check where the red check is happening and fix it for a 100% check.

You may also find this information on the "Code Following Red Check" section in the following MathWorks documentation:

https://in.mathworks.com/help/codeprover/ug/verification-following-red-and-orange-checks.html#buoohuw

Hope that asnwers your query!

Regards,

Chandrika

[david]

Thanks Chandrika. The one piece that doesn't make sense is that the metric seems to be a global one, since it is not in the main table that preceeds it. In my case, there are ~100 files being analyzed, and 1 red check that apparently set the metric to 56%.If it was a global metric, I would expect the value to be around 99%. In this situation, a value of 56% implies it is for the single file, but if so, it should be in the preceeding table.

[Chandrika]

Hello David,

I understand that you do not expect the percentage of your checked code to be 56% for a single red check. It could be the case that the file with the red check contains significant portion of code due to which the overall percentage of your checked code is showing to be only 56%. I would thus suggest you check the file where this red check is occuring in this case.

Regards,

Chandrika