Install Polyspace as You Code Extension in Visual Studio

The Polyspace as You Code extension in the Visual Studio^® 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 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 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.

You can install the extension in Visual Studio 2017 and 2019.

Interactive Installation

To install the extension interactively:

Double-click the VSIX file in the folder polyspaceroot\polyspace\plugin\visual_studio.
Here, polyspaceroot is the Polyspace as You Code installation folder, for instance, C:\Program Files\Polyspace as You Code.
Follow the prompts on the screen.
If you see a message that indicates that your Visual Studio IDE does not satisfy the prerequisites for the plugin and you are using Visual Studio 2017 or Visual Studio 2019, install the latest updates to these versions and try re-installing the plugin.

After installation, open the Visual Studio IDE and check that the extension has been installed. For instance, in Visual Studio 2019, select Extensions > Manage Extensions. You should see Polyspace in the list of extensions installed. You can also disable or uninstall the extension right from this list.

Command-Line Installation

If you want to install the extension without opening a graphical user interface, you can run the VSIX installer at the command line with the /q flag.

To install the extension in all Visual Studio versions on the machine, enter:
```
cd VSIXInstallerpath
VSIXInstaller.exe /q polyspaceroot\polyspace\plugin\visual_studio\POLYSPACE_FOR_VS.vsix
```
Here, VSIXInstallerpath is the path to the VSIX installer file. For instance, in a Visual Studio 2019 installation, the path can be C:\Program Files (x86)\Microsoft Visual Studio\2019\Professional\Common7\IDE .
To install the extension on a specific Visual Studio versions installed on the machine, enter:
```
cd VSIXInstallerpath
VSIXInstaller.exe /q /s:name /v:version ^ 
polyspaceroot\polyspace\plugin\visual_studio\POLYSPACE_FOR_VS.vsix
```
Here, name is name of the Visual Studio application, for instance, Pro for the Visual Studio Professional edition, and version is the version number in the form major.minor, for instance, 16.0 for the major version of Visual Studio 2019.

To uninstall the extension silently, use the /u flag.

For more information on the flags, search for the online VSIXInstaller documentation or simply enter:

cd VSIXInstallerpath
VSIXInstaller.exe

Documentation