Generate Reports and Export Results
R2026bGenerate reports from your verification results and provide the reports to your management or to your clients. To generate reports, see polyspace-report-generator (Polyspace Code Prover).
Summarize results in the Polyspace Access web interface in a tab-separated value (TSV) file for further processing, such as applying custom filters and pass/fail criteria. Archive the result summary into reports for certification and record keeping purposes.
System Command
Topics
- Export Results from Polyspace Access
Export Polyspace Access results to a TSV file.
- 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 Reports of Bug Finder or Code Prover Results (Polyspace Bug Finder)
Generate report from Polyspace Platform User Interface results.
- 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.
