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

在 Eclipse 中配置 Polyspace as You Code 插件，运行分析，查看结果

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

主题

Run Polyspace as You Code in Eclipse and Review Results
View Polyspace results as source code markers or in a list in Eclipse 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 扩展。
- 在 Eclipse 中安装 Polyspace as You Code 插件
Configure Polyspace as You Code Plugin in Eclipse

Set Polyspace as You Code plugin 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 Eclipse
Extract build configuration information from project, build command, or JSON compilation database.
Configure Checkers for Polyspace as You Code in Eclipse

Create, modify, or import selection of Polyspace defect checkers and coding rule violations.
- Analysis Scope of Polyspace as You Code
Set Baseline Polyspace as You Code Results in Eclipse
Get baseline and focus on new results only, import review information, get integration context information.