向结果中添加审查信息

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

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

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

主题

通过 Bug 修复或申述在 Polyspace Access 中处理结果
向结果或代码中添加审查信息，以对为何不需要 Bug 修复并避免后续分析进行申述。
Import Review Information from Existing Polyspace Access Projects
Transfer review information for findings from code that you reuse across projects.
Annotate Code and Hide Known or Acceptable Results (Polyspace Code Prover)

Look up the Polyspace code annotation syntax for justifying known issues.
- Define Custom Annotation Format (Polyspace Code Prover)
- Code Prover 运行时检查的短名称 (Polyspace Code Prover)
Apply Existing Review Information to Identical Findings
Reuse justifications from one finding to justify similar findings at the same location in your code.