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.