在 Visual Studio Code 中运行 Polyspace as You Code 并审查结果
在 Visual Studio Code 中配置 Polyspace as You Code 扩展,运行分析,查看结果
在 Visual Studio® Code 中,使用 Polyspace® as You Code 扩展,您可以在保存文件时运行或显式运行单个文件的分析。分析将检查当前处于活动状态的文件是否存在缺陷 (Bug)、编码标准违规和其他问题。分析结果将以源代码标记形式显示在一个单独的列表中。
主题
用法
- Run Polyspace as You Code in Visual Studio Code and Review Results
View Polyspace results as source code markers or in a list in Visual Studio Code editor, fix issues or justify results. - Annotate Code and Hide Known or Acceptable Results (Polyspace Bug Finder)
Look up the Polyspace code annotation syntax for justifying known issues.
- 使用申述目录在 Polyspace as You Code 插件中自动填写注解
- Bug Finder 缺陷组和缺陷检查项的短名称 (Polyspace Bug Finder)
安装和配置
- 使用安装程序安装 Polyspace as You Code
安装 Polyspace as You Code 分析引擎和 IDE 扩展。
- Configure Polyspace as You Code Extension in Visual Studio Code
Set Polyspace as You Code extension settings such as analysis launch mode and build configuration.
- 用于 Polyspace 分析的选项文件 (Polyspace Bug Finder)
- 在 Polyspace as You Code 中对失败分析或意外结果进行故障排除
- Generate Build Options for Polyspace as You Code Analysis in Visual Studio Code
Extract build configuration information from build task, build command, or JSON compilation database. - 在 Visual Studio Code 中为 Polyspace as You Code 配置检查项
创建、修改或导入 Polyspace 缺陷检查项和编码违规的选择。
- Set Baseline Polyspace as You Code Results in Visual Studio Code
Get baseline and focus on new results only, import review information, get integration context information.