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.


  • Run-Time Checks
    Run-time error check descriptions and examples
  • Coding Standards
    Migrate your workflow for checking coding standard compliance to Bug Finder. See description and examples of coding rules checkers in Bug Finder documentation
  • Code Metrics
    Description and examples of code metrics
  • Global Variables
    Description and example of global variable categories
  • Specifications
    Descriptions and examples of external specifications that can be checked with Code Prover
  • Code Prover Analysis Assumptions
    Assumptions used during code verification