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.
- 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).
- 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.
