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