Polyspace Code Prover Results

Description and examples of 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.