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.