Configure Extension Settings
In your IDE extension or plugin settings, you can specify commonly required options such as installation folder, results folder, and justification catalog.
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
- Visual Studio: Configure Polyspace as You Code Extension
Set Polyspace as You Code extension settings in Visual Studio® such as analysis launch mode and build configuration.
- Visual Studio Code: Configure Polyspace as You Code Extension
Set Polyspace as You Code extension settings in Visual Studio Code such as analysis launch mode and build configuration.
- Eclipse: Configure Polyspace as You Code Plugin
Set Polyspace as You Code plugin settings in Eclipse™ 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.
