主要内容

-import-comments

从以前的分析导入审查信息

语法

-import-comments resultsFolderPath

描述

-import-comments resultsFolderPath 用于从存储在由路径 resultsFolderPath 指定的文件夹中的以前分析导入审查信息(状态、严重性和其他说明)。

您只能从相同类型的结果导入审查信息。例如:

  • 您无法将 Bug Finder 检查项的结果中的审查信息导入到 Code Prover 运行时检查。即使检查项的名称听起来相似,Bug Finder 和 Code Prover 的底层语义也可能不同。

  • 您无法将 Code Prover 中的逐文件验证的结果中的审查信息导入到常规 Code Prover 验证的结果中。

您还可以使用此选项创建分析结果的基线。在 Polyspace® 用户界面中,如果您点击新建按钮,则只有与基线相比为新结果的分析结果才会保留在结果列表中。

在用户界面(仅限 Polyspace 桌面端产品)中,在配置窗格的其他字段中输入此选项。请参阅其他

示例

从以前的结果导入审查信息:

  • Bug Finder:

    polyspace-bug-finder -sources filename -import-comments C:\Results\myProj\1.2
    
  • Code Prover:

    polyspace-code-prover -sources filename -import-comments C:\Results\myProj\1.2
    
  • Bug Finder Server:

    polyspace-bug-finder-server -sources filename -import-comments C:\Results\myProj\1.2
    
  • Code Prover Server:

    polyspace-code-prover-server -sources filename -import-comments C:\Results\myProj\1.2
    

提示

  • 如果您使用 Polyspace as You Code 扩展,并且不使用您从 Polyspace Access™ 下载的以前的分析结果,请在分析选项文件中输入此选项。请参阅选项文件

  • 如果您在 Polyspace 平台用户界面的“预设项”窗口中选择了自动导入上次验证的注释字段,请避免在选项文件或其他 (Polyspace Code Prover)其他字段中指定 -import-comments。如果您在用户界面以及选项文件或 Other 字段中都指定了此选项,则分析将以用户界面中的配置为准。

  • Polyspace Code Prover™ 不再计算编码规则和编码规则结果。如果您将 Code Prover 结果从以前版本的 Code Prover 导入到当前版本,则附加到编码规则和代码度量结果的审查信息不会导入到 Code Prover 结果中。