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