Review Code Prover Results

After analysis, review results in the Polyspace Access™ user interface. You can do one of the following:

Polyspace Code Prover checks C/C++ code for run-time errors. Check results appear in one of these colors:

For more details, see Code Prover Result and Source Code Colors (Polyspace Code Prover).

To review a result, trace back from the immediate location of the issue to previous related lines. The Polyspace Access web interface provide various conveniences such as range tooltips, function call hierarchy, and other navigation aids to help you with the traceback. Use these tools to locate the root cause of an issue and implement a fix. To understand what to look for when reviewing a particular type of check, see Reviewing Code Prover Run-Time Checks (Polyspace Code Prover).

Once you understand the root cause of a Polyspace finding, you can fix your code. Otherwise, add review information to the Polyspace result to mark it for fixing later or to justify the result. You can use the review information to keep track of your review progress and avoid reviewing the same finding twice.

If you add review information to your results in the Polyspace Access web interface, they carry over to results uploaded to the same project. If you add the same information as comments to your code (annotate), they carry over to any subsequent analysis of the code, whether in the same project or not. You can also hide results using code annotations.