Polyspace Code Prover Results
A Polyspace® 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, see Filter and Group Results. 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
Description and examples of coding rules checkers
- Code Metrics
Description and examples of code metrics
- Global Variables
Description and example of global variable categories
Select a Web Site
Choose a web site to get translated content where available and see local events and offers. Based on your location, we recommend that you select: .
Select web siteYou 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)
