Polyspace Code Prover checks run-time errors including "Non-terminating call" and "Non-terminating loop" as the following URL.
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
Function not reachable
Unreachable code
