Setting Checkers in Polyspace as You Code

Enable or disable specific defects and coding standard checkers

Polyspace^® as you Code detects a set of defects by default. See Polyspace Bug Finder Defects Checkers Enabled by Default.

To activate a set of defect and coding standard checkers that meets your requirements, create, modify or import a checker selection by using your IDE or the command-line.

Topics

Configure Checkers

Configure Checkers for Polyspace as You Code in Eclipse (Polyspace Access)
Create, modify, or import selection of Polyspace defect checkers and coding rule violations.
Configure Checkers for Polyspace as You Code in Visual Studio (Polyspace Access)
Create, modify, or import selection of Polyspace defect checkers and coding rule violations.
Configure Checkers for Polyspace as You Code in Visual Studio Code (Polyspace Access)
Create, modify, or import selection of Polyspace defect checkers and coding rule violations.
Configure Checkers for Polyspace as You Code at the Command Line (Polyspace Access)
Create, modify, or import selection of Polyspace defect checkers and coding rule violations.

Finding Bugs with Polyspace as You Code

Bug Finder Defect Groups

The Bug Finder defect checkers are classified into groups such as data flow, concurrency, numerical, and so on.
- Short Names of Bug Finder Defect Groups and Defect Checkers
Analysis Scope of Polyspace as You Code (Polyspace Access)

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 Defects Checkers Enabled by Default
- Checkers Deactivated in Polyspace as You Code Analysis (Polyspace Access)
Reduce Software Complexity by Using Polyspace Checkers
Enable and configure the software complexity checkers to identify issues that make your code difficult to read, understand, and debug.

Related Information

Bug Finder Analysis
Coding Standards and Code Metrics