Polyspace Access Report Generation Examples

Archive Polyspace^® results into reports

For certification and record keeping purposes, archive Polyspace results into autogenerated reports. For report generation, use predefined templates or create your own templates. These examples show specific types of reports that can be created from Polyspace results.

Topics

Generate Reports from Polyspace Results (Polyspace Bug Finder)
Generate report from Polyspace results using predefined templates.
Generate Report and Variables List from Polyspace Access
Summarize results in Polyspace Access™ in a report that contains the results including a list of variables in your code.
Generate Report Containing Polyspace Bug Finder and Polyspace Code Prover Results (Polyspace Bug Finder)
Generate a single report that combines Bug Finder results such as coding rule violations and code metrics with Code Prover run time checks.
Customize Existing Bug Finder Report Template (Polyspace Bug Finder)
Modify components of report templates to include only the details you need.