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 MISRA C:2012 Violations, Code Metrics, and Runtime Check Results (Polyspace Bug Finder)
Generate a single report combining results from Bug Finder and Code Prover into a single file.
Customize Existing Bug Finder Report Template (Polyspace Bug Finder)
Modify components of report templates to include only the details you need.