在 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 扩展。
- 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.
- Set Baseline Polyspace as You Code Results in Eclipse
Get baseline and focus on new results only, import review information, get integration context information.