Manage Results

Filter and group Bug Finder results for systematic review

Optimize project management and collaborative reviews by:

Setting project permissions for reviewers.
Sorting and grouping results by using filters and labels.
Creating bug tracking tool tickets from the Polyspace^® Access™ interface.

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

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

Topics

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

Narrow down list of results, organize results by file or result type.
- Create Custom Filter Groups in Polyspace Access Web Interface (Polyspace Access)
Add Labels to Project Runs in Polyspace Access (Polyspace Access)
Add labels to runs in projects.
Prioritize Check Review in Polyspace Access Web Interface (Polyspace Access)
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 (Polyspace Access)
Track findings with Jira software or Redmine from the Polyspace Access interface.
Orange Checks in 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.