在 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.
对违反 MISRA 规则的情况进行申述
- 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.