配置审查信息导入
配置从现有结果导入审查信息
配置如何从先前的 Polyspace® 结果或源代码导入审查信息(例如状态、严重性或其他注释和申述)。
在 Polyspace 平台用户界面中,默认情况下,上一次运行的审查信息会导入到当前运行中。您还可以通过用户界面和命令行,从另一组结果中显式导入审查信息。
或者,您可以采用标准格式向源代码输入注解,以存储审查信息。对源代码的后续分析可读取您的注解,并将其导入 Polyspace 结果中。如果选择以非标准格式输入代码注解,您还可以指定到该格式的映射,使 Polyspace 可以识别您的注解。
Polyspace 选项
-import-comments | 从以前的分析导入审查信息 |
-ignore-code-annotations | Ignore C/C++ code annotations justifying Polyspace results and show all results as unreviewed (自 R2022a 起) |
-xml-annotations-description | Apply 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 |
主题
从先前的结果或代码导入审查信息
- Import Review Information from Previous Polyspace Analysis
Import information such as status, severity and additional notes from another Polyspace result file. - 为代码添加注解并隐藏已知或可接受的结果
查找用于申述已知问题的 Polyspace 代码注解语法。
用于存储审查信息的自定义代码注解
- Define Custom Annotation Format
Create your own code annotation syntax for justifying known issues. - Annotation Description Full XML Template
Look up the elements and attributes of the XML used to define your code annotation syntax and map it to the Polyspace annotation syntax.