Configure Reporting

Generate reports

Specify whether to generate a PDF, HTML, or Microsoft^® Word report along with Polyspace^® static analysis results. Use one of the predefined report templates that collects specific types of results into predefined chapters, or create a custom template.

Instead of specifying report generation prior to analysis, you can also generate a report from the analysis results themselves. For more information, see Generate Reports.

Polyspace Options

expand all

Report Name and Format

`Generate report`	Specify whether to generate a report after the analysis
`Output format (-report-output-format)`	Specify output format of generated report
`-report-output-name`	Specify name of report

Report Content

Bug Finder and Code Prover report (-report-template) Specify template for generating analysis report

Project Metadata in Reports

`Author (-author)`	Specify author name for Polyspace Platform project
`Version (-verif-version)`	Assign a source code version identifier to Polyspace Platform project
`Created`	See date and time when Polyspace Platform project was created (Since R2024a)
`Last modified`	See date and time when Polyspace Platform project was last modified (Since R2024a)
`-date`	Specify date of analysis

Topics

Generate Reports

Specify Polyspace Analysis Options
Specify Polyspace analysis options in Polyspace user interface, other IDE-s or scripts.
Generate Reports from Polyspace Results
Generate report from Polyspace results using predefined templates.
Generate Report Containing Polyspace Bug Finder and Polyspace Code Prover Results
Generate a single report that combines Bug Finder results such as coding rule violations and code metrics with Code Prover run time checks.

Customize Report Templates

Customize Existing Code Prover Report Template
Modify components of report templates to include only the details you need.
Sample Report Template Customizations
See examples of modifications you can make to a predefined report template.

Related Information

Generate Reports