Manage Results

Filter and group Polyspace^® results for systematic review

Optimize project management and collaborative reviews by:

You can perform most of these actions in the Polyspace Access interface or at the command line by using the polyspace-access binary.

To manage the deletion of runs and projects, see Clean Up Polyspace Access Database.

Topics

Manage Permissions and View Project Trends in Polyspace Access Web Interface
Check overall quality of code, set user permissions to view projects.
Filter and Sort Results in Polyspace Access Web Interface

Narrow down list of results, organize results by file or result type.
- Create Custom Filter Groups in Polyspace Access Web Interface
Add Project Banners to Results in Polyspace Access
Add, edit, and delete project banners to results.
Add Labels to Project Runs in Polyspace Access
Add labels to runs in projects.
Prioritize Check Review in Polyspace Access Web Interface
Identify more critical issues in your verification results and review them in preference to others.
Create Bug Tracking Tool Tickets from the Polyspace Access Web Interface
Track findings with Jira software or Redmine from the Polyspace Access interface.
Orange Checks in Polyspace Code Prover (Polyspace Code Prover)

Learn why the verification cannot prove the presence or absence of an error for certain operations and why you must review the operations.
- Managing Orange Checks in Polyspace Code Prover (Polyspace Code Prover)
- Critical Orange Checks in Polyspace Code Prover (Polyspace Code Prover)
- Reduce Orange Checks in Polyspace Code Prover (Polyspace Code Prover)
- Evaluate Polyspace Code Prover Results Against Software Quality Objectives (Polyspace Code Prover)