Main Content

Complete List of Polyspace Code Prover Results

Description and examples of results

A Polyspace® Code Prover™ result is a run-time error check, stack usage metric, or a global variable property. Each type of result is identified by one of the following icons:

  • , , , and — Run-Time Checks

  • and — Code Metrics

  • and — Global Variables

To fine tune your review, see Filter and Group Results in Polyspace Desktop User Interface. To better understand your results, refer to the reference pages in these categories.

Categories