在 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. - 为代码添加注解并隐藏已知或可接受的结果
查找用于申述已知问题的 Polyspace 代码注解语法。
- Import Review Information from Previous Polyspace Analysis
Import information such as status, severity and additional notes from another Polyspace result file.
对违反编码规则的情况进行申述
- Justify Coding Rule Violations Using Code Prover Checks
Use green runtime checks in Code Prover to allow exceptions for coding rule violations.
