本页面提供的是上一版软件的文档。当前版本中已删除对应的英文页面。

向结果中添加审查信息

处理 Bug Finder 的检查结果：修复 Bug，或进行申述

在了解某个 Polyspace^® 检查结果的根本原因后，您可以修复代码。或者，向 Polyspace 结果中添加审查信息，以将其标记为稍后修复或者对结果进行申述。您可以使用审查信息来跟踪审查进度，避免对同一检查结果进行两次审查。

如果您向 Polyspace Access™ Web 界面内的结果中添加审查信息，则这些信息将延用到上传至同一工程的结果中。如果您将相同信息作为注释添加到您的代码（注解），则该信息将延用到代码的任何后续分析中，无论是否在同一工程中。您还可以使用代码注解隐藏结果。

系统命令

`polyspace-access -set-project-information` (Polyspace Access)	(System Command) Set project-specific information
`polyspace-access -unset-project-information` (Polyspace Access)	(System Command) Remove project-specific information

`polyspace-access -review` (Polyspace Access)	(System Command) Edit review information of results for project
`polyspace-access -import-reviews` (Polyspace Access)	(System Command) Import review information from source project to target project

`polyspace-access -add-label` (Polyspace Access)	(System Command) Add label to project run
`polyspace-access -remove-label` (Polyspace Access)	(System Command) Remove label from project run
`polyspace-access -set-unassigned-findings` (Polyspace Access)	(System Command) Assign owners to unassigned results

通过 Bug 修复或申述在 Polyspace Access 中处理结果 (Polyspace Access)
向结果或代码中添加审查信息，以对为何不需要 Bug 修复并避免后续分析进行申述。
Import Review Information from Existing Polyspace Access Projects (Polyspace Access)
Transfer review information for findings from code that you reuse across projects.
为代码添加注解并隐藏已知或可接受的结果

查找用于申述已知问题的 Polyspace 代码注解语法。
- Define Custom Annotation Format
- Code Prover 运行时检查的短名称
Apply Existing Review Information to Identical Findings (Polyspace Access)
Reuse justifications from one finding to justify similar findings at the same location in your code.