在 Visual Studio 中运行 Polyspace as You Code 并审查结果

在 Visual Studio 中配置 Polyspace as You Code 扩展，运行分析，查看结果

这些主题介绍了如何在 Visual Studio^® IDE 中使用 Polyspace as You Code 运行单个文件分析。有关如何使用 Polyspace Bug Finder 之类的 Polyspace 桌面端产品的更多信息，请参阅Create Polyspace Projects from Visual Studio Build (Polyspace Bug Finder)。

在 Visual Studio 中，使用 Polyspace^® as You Code 扩展，您可以在保存文件时运行或显式运行单个文件的分析。分析将检查当前处于活动状态的文件是否存在缺陷 (Bug)、编码标准违规和其他问题。分析结果将以源代码标记形式显示在一个单独的列表中。

主题

用法

Run Polyspace as You Code in Visual Studio and Review Results
View Polyspace results as source code markers or in a list in Visual Studio IDE, 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.
- Bug Finder 缺陷组和缺陷检查项的短名称 (Polyspace Bug Finder)

安装和配置

使用安装程序安装 Polyspace as You Code

安装 Polyspace as You Code 分析引擎和 IDE 扩展。
- 在 Visual Studio 中安装 Polyspace as You Code 扩展
Configure Polyspace as You Code Extension in Visual Studio

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
Extract build configuration information from solution, build command, or JSON compilation database.
在 Visual Studio 中为 Polyspace as You Code 配置检查项

创建、修改或导入 Polyspace 缺陷检查项和编码违规的选择。
- Analysis Scope of Polyspace as You Code
Set Baseline Polyspace as You Code Results in Visual Studio
Get baseline and focus on new results only, import review information, get integration context information.

在 Visual Studio 中运行 Polyspace as You Code 并审查结果

主题

用法

安装和配置

WeChat