Main Content

Add Review Information to Results

Address Polyspace® results through bug fixes or justifications

Once you understand the root cause of a Polyspace finding, you can fix your code. Otherwise, add review information to the Polyspace result to mark it for fixing later or to justify the result. You can use the review information to keep track of your review progress and avoid reviewing the same finding twice.

If you add review information to your results in the Polyspace Access™ web interface, they carry over to results uploaded to the same project. If you add the same information as comments to your code (annotate), they carry over to any subsequent analysis of the code, whether in the same project or not. You can also hide results using code annotations.

System Commands

expand all

polyspace-access -set-project-informationSet project-specific information
polyspace-access -unset-project-informationRemove project-specific information
polyspace-access -reviewEdit review information of results for project
polyspace-access -import-reviewsImport review information from source project to target project
polyspace-access -add-labelAdd label to project run
polyspace-access -remove-labelRemove label from project run
polyspace-access -set-unassigned-findingsAssign owners to unassigned results

Topics