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 in Polyspace Desktop User Interface. To better understand your results, refer to the reference pages in these categories.