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