Why am I not able to see all Run-Time check in Review Scope in Polyspace?

I would like to check run-time errors by creating my own set of filters on the Review Scope tab under Tools > Preferences.

 

Filter and Group Results in Polyspace Desktop User Interface

https://www.mathworks.com/help/codeprover/ug/filter-group-polyspace-results.html

 

However, I could not find some run-time errors like "Non-terminating call" and "Non-terminating loop" in Review Scope.

 

Non-terminating call

https://www.mathworks.com/help/codeprover/ref/nonterminatingcall.html

Non-terminating loop

https://www.mathworks.com/help/codeprover/ref/nonterminatingloop.html

How do I see all Run-Time checks in Review Scope in Polyspace?

Answer 1

[MathWorks Support Team]

Polyspace Code Prover checks run-time errors including "Non-terminating call" and "Non-terminating loop" as the following URL.

https://www.mathworks.com/help/codeprover/ug/check-types.html

The Review Scope is filtering for orange sources in the Result List. "Non-terminating call" and '"Non-terminating loop" always have red checks. Therefore, they are not found in the Review Scope in Preferences. Also, the following run-time checks are not found in the Review Scope because they always have gray checks.

See:

Function not called

https://www.mathworks.com/help/codeprover/ref/functionnotcalled.html

Function not reachable

https://www.mathworks.com/help/codeprover/ref/functionnotreachable.html

Unreachable code

https://www.mathworks.com/help/codeprover/ref/unreachablecode.html