在 Polyspace as You Code 中设置检查项

启用或禁用特定的缺陷和编码标准检查项

Polyspace^® as You Code 默认情况下会检测一组缺陷。请参阅默认启用的 Polyspace Bug Finder 缺陷检查项 (Polyspace Bug Finder)。

要激活一组满足您需求的缺陷和编码标准检查项，可使用 IDE 或者命令行创建、修改或导入一套检查项选择项。

主题

Configure Checkers for Polyspace as You Code in Eclipse
Create, modify, or import selection of Polyspace defect checkers and coding rule violations.
在 Visual Studio 中为 Polyspace as You Code 配置检查项
创建、修改或导入 Polyspace 缺陷检查项和编码违规的选择。
在 Visual Studio Code 中为 Polyspace as You Code 配置检查项
创建、修改或导入 Polyspace 缺陷检查项和编码违规的选择。
Configure Checkers for Polyspace as You Code at the Command Line
Create, modify, or import selection of Polyspace defect checkers and coding rule violations.

Bug Finder Defect Groups (Polyspace Bug Finder)

The Bug Finder defect checkers are classified into groups such as data flow, concurrency, numerical, and so on.
- Bug Finder 缺陷组和缺陷检查项的短名称 (Polyspace Bug Finder)
Analysis Scope of Polyspace as You Code

Polyspace as You Code is a static code analysis software meant for regular use by C/C++ developers within their Integrated Development Environments (IDEs).
- 默认启用的 Polyspace Bug Finder 缺陷检查项 (Polyspace Bug Finder)
- Checkers Deactivated in Polyspace as You Code Analysis
Reduce Software Complexity by Using Polyspace Checkers (Polyspace Bug Finder)
Enable and configure the software complexity checkers to identify issues that make your code difficult to read, understand, and debug.