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.