Configure Report Generation

Generate reports summarizing Polyspace^® Bug Finder™ analysis results

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 옵션

모두 확장

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 (R2024a 이후)
`Last modified`	See date and time when Polyspace Platform project was last modified (R2024a 이후)
`-date`	Specify date of analysis

도움말 항목

Generate Reports

Specify Polyspace Analysis Options
Specify Polyspace analysis options in Polyspace user interface, other IDE-s or scripts.
Generate Reports of Bug Finder or Code Prover Results
Generate report from Polyspace Platform User Interface results.
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 Bug Finder Report Template
Modify components of report templates to include only the details you need.