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 (Polyspace Bug Finder).

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
Create, modify, or import selection of Polyspace defect checkers and coding rule violations.
Configure Checkers for Polyspace as You Code in Visual Studio
Create, modify, or import selection of Polyspace defect checkers and coding rule violations.
Configure Checkers for Polyspace as You Code in Visual Studio Code
Create, modify, or import selection of Polyspace defect checkers and coding rule violations.
Configure Checkers for Polyspace as You Code at the Command Line
Create, modify, or import selection of Polyspace defect checkers and coding rule violations.

Finding Bugs with Polyspace as You Code

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.
- Short Names of Bug Finder Defect Groups and Defect Checkers (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 Defects Checkers Enabled by Default (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.

Related Information

Bug Finder Analysis (Polyspace Bug Finder)
Coding Standards and Code Metrics (Polyspace Bug Finder)