主要内容

配置审查信息导入

配置从现有结果导入审查信息

配置如何从先前的 Polyspace® 结果或源代码导入审查信息(例如状态、严重性或其他注释和申述)。

在 Polyspace 平台用户界面中,默认情况下,上一次运行的审查信息会导入到当前运行中。您还可以通过用户界面和命令行,从另一组结果中显式导入审查信息。

或者,您可以采用标准格式向源代码输入注解,以存储审查信息。对源代码的后续分析可读取您的注解,并将其导入 Polyspace 结果中。如果选择以非标准格式输入代码注解,您还可以指定到该格式的映射,使 Polyspace 可以识别您的注解。

Polyspace 选项

-import-comments从以前的分析导入审查信息
-ignore-code-annotationsIgnore C/C++ code annotations justifying Polyspace results and show all results as unreviewed (自 R2022a 起)
-xml-annotations-descriptionApply custom code annotations to Polyspace analysis results

系统命令

polyspace-comments-import(System Command) Import review information from previous Polyspace analysis
polyspace-results-export(System Command) Export Polyspace results to external formats such as CSV or JSON

主题

从先前的结果或代码导入审查信息

用于存储审查信息的自定义代码注解