Reviewing and Reporting Results
Investigate run-time errors (RTEs) found with Code Prover, fix or justify results, manage results review, and generate reports
You can review run-time errors found with Code Prover in the Polyspace® Platform user interface. Regardless of how you run Code Prover, you can open the analysis results file (.pscp file) in the user interface and do the following:
See an overview of the results on a dashboard.
See details of the results and navigate to the corresponding source code.
Add review information such as status and severity to individual results.
Categories
- Interpret Code Prover Results
Interpret Code Prover results, navigate source code, track data flow
- Add Review Information to Results
Address Code Prover results through bug fixes or justifications
- Manage Results
Filter and group Code Prover results for systematic review
- Reports and Metrics
Monitor code quality through software development lifecycle
- Polyspace
Code Prover Results
Description and examples of results
Related Information
- Review Code Prover Results (Polyspace Access)