Polyspace as You Code IDE Extension Settings

Full list of Polyspace as You Code IDE extension settings

In your IDE extension or plugin settings, you can specify the commonly required options such as results folder, checkers, and so on. See the full list of IDE extension settings here.

If you cannot find a setting in your IDE extension to tune the analysis, look for an analysis engine option and specify the option in an options file. Then, specify the options file in your IDE extension settings.

Topics

Configure Polyspace as You Code Extension in Visual Studio
Set Polyspace as You Code extension settings such as analysis launch mode and build configuration.
Configure Polyspace as You Code Extension in Visual Studio Code
Set Polyspace as You Code extension settings such as analysis launch mode and build configuration.
Configure Polyspace as You Code Plugin in Eclipse
Set Polyspace as You Code plugin settings such as analysis launch mode and build configuration.
Options Files for Polyspace Analysis (Polyspace Bug Finder)
Collect all analysis options in a text file for easy sharing across projects.