Install Polyspace Desktop Plugin for Eclipse

This topic describes how to install the Polyspace^® desktop plugin for analysis of complete Eclipse™ projects. To install the Polyspace as You Code plugin, see Run Polyspace as You Code in Eclipse (Polyspace Bug Finder Access).

After you install the Polyspace desktop products, you can proceed to install the Polyspace plugin for Eclipse.

Install Polyspace Plugin

The Polyspace plugin is supported for Eclipse versions 4.11 to 4.18. You can install the Polyspace plugin only after you:

• Install and set up Eclipse Integrated Development Environment (IDE). For more information, see the Eclipse documentation at www.eclipse.org.

• Install Java^® 8 or newer. See Java documentation at www.java.com.

  If you run into issues because of incompatible Java versions, see Eclipse Java Version Incompatible with Polyspace Plug-in.

• Uninstall any previous Polyspace plugins. For more information, see Uninstall Polyspace Plugin.

To install the Polyspace plugin:

1. From the Eclipse editor, select Help > Install New Software. The Install wizard opens, displaying the Available Software page.

2. Click Add to open the Add Repository dialog box.

3. In the Name field, specify a name for your Polyspace site, for example, Polyspace_Eclipse_PlugIn.

4. Click Local, to open the Browse for Folder dialog box.

5. Navigate to the polyspaceroot\polyspace\plugin\eclipse folder. Then click OK.

   polyspaceroot is the installation folder for the Polyspace product.

6. Click OK to close the Add Repository dialog box.

7. On the Available Software page, select Polyspace Plugin for Eclipse.

   

8. Click Next.

9. On the Install Details page, click Next.

10. On the Review Licenses page, review and accept the license agreement. Then click Finish.

11. Restart Eclipse. You might get this prompt:Select the folder where Polyspace Bug Finder was installed. Enter the path to your Polyspace installation, for instance, C:\Program Files\Polyspace\R2021a.

Once you install the plugin, in the Eclipse editor, you’ll see:

• A Polyspace menu

• A Polyspace Run - Code Prover, Results List - Code Prover, and Result Details view.

Uninstall Polyspace Plugin

Before installing a new Polyspace plugin, you must uninstall any previous Polyspace plugins:

1. In Eclipse, select Help > About Eclipse.

2. Select Installation Details.

3. Select the Polyspace plugin and select Uninstall.

   Follow the uninstall wizard to remove the Polyspace plugin. You must restart Eclipse for changes to take effect.

Related Topics

• Run Polyspace Analysis on Eclipse Projects