Investigate why an operation in your code is certain to cause a run-time error.
Investigate why a block of code is unreachable.
Investigate why an operation in your code can potentially cause a run-time error.
Investigate why a global variable is unprotected or unused.
If you do not want to fix your code right away, leave comments in the verification results to avoid another review.
If you do not want to fix your code, leave comments directly in your code to justify why a fix is not required.
Learn how an operation containing a run-time error affects verification of subsequent code.
Learn what the colors in your verification results mean.
Learn why the verification cannot prove the presence or absence of an error for certain operations.
Orange checks can be separated into two categories:
Understand how you can use the various windows in the Polyspace® user interface to diagnose a result.
Learn why you must review grays checks representing unreachable code.