Complete List ofPolyspaceCode ProverResults
Description and examples of results
APolyspace®Code Prover™result is a run-time error check, coding rule violation, code complexity metric, or a global variable property. Each type of result is identified by one of the following icons:
,
,
, and
— Run-Time Checks
and
— Coding Rules
and
— Code Metrics
and
— Global Variables
To fine tune your review, seeFilter 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 - Code Prover Analysis Assumptions
Assumptions used during code verification
You can also select a web site from the following list:
Americas
- América Latina(Español)
- Canada(English)
- United States(English)
Europe
- Belgium(English)
- Denmark(English)
- Deutschland(Deutsch)
- España(Español)
- Finland(English)
- France(Français)
- Ireland(English)
- Italia(Italiano)
- Luxembourg(English)
- Netherlands(English)
- Norway(English)
- Österreich(Deutsch)
- Portugal(English)
- Sweden(English)
- Switzerland
- United Kingdom(English)