Install Polyspace as You Code Extension in Visual Studio Code

The Polyspace as You Code extension in the Visual Studio Code IDE allows you to run Polyspace on the file that you are currently viewing and see analysis results such as bugs and coding standard violations. You must install Polyspace as You Code separately to run the analysis. The extension allows you to point to this installation from Visual Studio Code and show results produced by the Polyspace analysis.

You can install the extension in one of two ways:

While installing the Polyspace as You Code analysis engine using the installer that you download from Polyspace^® Access on the web.
See Install Polyspace as You Code Using Installer.
After installing the Polyspace as You Code analysis engine, using a Visual Studio Code extension installer or in short, a VSIX file, provided with your Polyspace as You Code installation.

The rest of this topic describes the second approach where you install the extension separately from installing the Polyspace as You Code analysis engine.

Interactive Installation

To install the extension interactively:

In the Visual Studio Code IDE, select View > Extensions.
On the EXTENSIONS pane, click the ellipsis on the upper right and select Install from VISIX.
Navigate to the VSIX file in the folder polyspaceroot\polyspace\plugin\visual_studio_code.
Here, polyspaceroot is the Polyspace as You Code installation folder, for instance, C:\Program Files\Polyspace as You Code.

After installation, you can see the extension in the EXTENSIONS pane.

To uninstall the extension, on the EXTENSIONS pane, click the icon and select Uninstall.

Command-Line Installation

You can also install the extension using the VSIX file at the command line.

To install the extension, in a command window, enter:

code --install-extension polyspaceroot\polyspace\plugin\visual_studio\POLYSPACE_FOR_VS.vsix

To uninstall the extension, enter:

code --uninstall-extension polyspaceroot\polyspace\plugin\visual_studio\POLYSPACE_FOR_VS.vsix

Documentation