Main Content

Set Up Polyspace Analysis in IDEs

Check C/C++ code for defects in IDEs such as Eclipse, Visual Studio and Visual Studio Code

You can specify analysis options to modify the default behavior of Polyspace® as You Code. Common options such as checkers are available through IDE extension settings. 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.

The commonly required configuration actions are analyzing build, setting checkers, and baseline settings. For each of these actions, you specify the appropriate IDE extension setting and then perform an additional step prior to running Polyspace as You Code. For instance:

  • Analyzing build: In your IDE settings, you specify where to obtain build information, and then run a build analysis prior to the actual runs.

  • Setting checkers: Prior to running Polyspace as You Code, you specify checkers in a checkers selection window and save them in a configuration file. In your IDE settings, you specify the path to this file.

  • Baseline settings: In your IDE settings, you specify the Polyspace Access™ project to use as baseline, and then download the baseline information prior to the actual runs.

Categories