Polyspace Code Prover Results
Description and examples of results
Polyspace® Code Prover™ checks C/C++ code exhaustively for run-time errors, global variable usage, or stack usage, and reports all checks done as a list of results. The result color and icon depends on whether the check passed, failed or remained inconclusive.
For more information on the result color and icons, see Code Prover Result and Source Code Colors.
For more details on each type of result, select one of the categories below.
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
