Review Results in Polyspace Code Prover Access

Review Polyspace^® Code Prover™ results on a web browser, add comments and create tickets, download and upload results, generate reports

After analysis, review results in the Polyspace Code Prover Access™ user interface. You can do one of the following:

Start reviewing results immediately in your web browser.
Open or Export Results from Polyspace Access
Create and enforce authorization policies for project reviews.
Apply a result management strategy to narrow down the scope of your review, and then review your results.

Interpret Results
Interpret Code Prover result, navigate in 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 life cycle
Polyspace Code Prover Access Results
Description and examples of results
Code Prover Analysis Assumptions
Assumptions used during code verification

Documentation