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

  • 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