Main Content

Code Verification Summary

Create table of Polyspace analysis results

Description

This component creates tables containing the following results:

  • Number of results

  • Number of coding rule violations for each coding rule type such as MISRA C™

  • Number of defects, for Polyspace® Bug Finder™ results

  • Number of checks of each color, for Polyspace Code Prover™ results

  • Whether the project passed or failed the software quality objective

Properties

Include Checks from Polyspace Standard Library Stub Functions

Unless you deselect this option, the tables contain Polyspace Code Prover checks that appear in Polyspace stubs for the standard library functions.

See Also

Topics