在 Polyspace 平台用户界面中向结果添加审查信息

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

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

如果您向结果文件中添加审查信息，则该信息将延用到同一工程的下一次分析的结果中。如果您将相同信息作为注释添加到您的代码（注解），则该信息将延用到代码的任何后续分析中，无论是否在同一工程中。您还可以使用代码注解隐藏结果。

主题

Address Results in Polyspace Platform User Interface Through Bug Fixes or Justifications
Add review information to results or code to justify why a bug fix is not required and hide from subsequent analyses.
Annotate Code and Hide Known or Acceptable Results

Look up the Polyspace code annotation syntax for justifying known issues.
Import Review Information from Previous Polyspace Analysis
Import information such as status, severity and additional notes from another Polyspace result file.

Import Justifications from Older Standard to Newer Standard
Import existing review information when migrating from the older coding standard.
Justify Coding Rule Violations Using Code Prover Checks
Use green runtime checks in Code Prover to allow exceptions for coding rule violations.