Main Content

Install Polyspace Desktop Products

Polyspace® checks C/C++ code for bugs, run-time errors, coding standard violations, and other issues by using static analysis. With the desktop products, Polyspace Bug Finder™ and Polyspace Code Prover™, you can perform the checks on individual desktops prior to code submission.

For an overview of all Polyspace products, see Polyspace Products and Software Development Workflows.

Workflow

Using the Polyspace desktop products, individual developers can check their code for bugs and run-time errors during development.

For uniform standards across a project or team, all developers in the project or team can use a predefined set of checks. Developers can qualify their code for submission based on these predefined checks. After code submission to a shared repository, a more extensive post-submission analysis can run on a server by using the Polyspace server products.

Diagram for typical Polyspace desktop product workflow

The workflow consists of these steps:

  • Running Polyspace analysis:

    During development, individual developers start the analysis from their IDEs by using scripts or from the user interface of the desktop products.

    For code generated from:

    • Simulink® models, you can start the analysis directly from Simulink after code generation.

    • MATLAB® code, you can start the analysis directly in the MATLAB Coder App after code generation.

    To save processing power on the developer's desktop, you can offload the analysis to a server. After analysis, the results are downloaded to the desktop for review.

  • Reviewing Polyspace results:

    After analysis, developers review the results (bugs, run-time errors, coding standard violations, and so on) in the desktop product user interface.

These steps describe a workflow prior to code submission. After code submission, a build automation tool can run a Polyspace analysis on a server. The tool can also upload the analysis results to a web browser for collaborative review by developers or quality engineers. See Install Polyspace Server and Access Products.

Product Installation

For this workflow, you must install the following products on individual desktops.

Polyspace Products to Run Analysis

Install Polyspace Bug Finder or Polyspace Code Prover to run the analysis.

For more efficient analysis, the computer that runs the analysis should have at least four physical cores, with at least 4 GB of memory per core. A Code Prover analysis can be parallelized to use up to four cores. A Bug Finder analysis can be parallelized to use the maximum number of available cores.

Installation.  Run the MathWorks® installer. Choose a license for Polyspace desktop products. You can get the installer and license by purchasing the product or requesting a trial. For detailed instructions, see Installation and Licensing.

To install the products non-interactively or silently at the command line, see Perform Silent Installation Using MathWorks Product Installer.

You require Polyspace Bug Finder to install Polyspace Code Prover.

Installation Folder.  A default installation folder is used based on your operating system and the release version. During installation, you can change this default folder if needed.

For instance, the default installation folder for release R2024b is listed here.

Operating SystemDefault Installation Folder
Windows®C:\Program Files\Polyspace\R2024b
Linux® (most distributions)/usr/local/Polyspace/R2024b
Mac/Applications/Polyspace/R2024b

Post-Installation Steps.  After you install a Polyspace desktop product, you can open the Polyspace user interface or run command-line executables. You can start an analysis in the user interface or from the Windows or Linux command line. Note that all Polyspace commands are available in the folder polyspaceroot\polyspace\bin, where polyspaceroot is the Polyspace installation folder. To avoid typing the full path to the commands, add this location to the PATH environment variable in your operating system.

To start the analysis from other environments, perform these post-installation steps:

Polyspace Products to Review Results

The Polyspace Bug Finder or Polyspace Code Prover installation is sufficient to review the results.

You can review Bug Finder and Code Prover results with only Bug Finder desktop. For instance, if you offload the analysis to a server and only review the downloaded analysis results on your desktop, you require Bug Finder only.

Install Polyspace with Other MathWorks Products

Install Other Polyspace Products

To install additional Polyspace base products, run the MathWorks installer again for each base product.

The Polyspace Test and the Bug Finder desktop and server products are base products. You typically install the Code Prover desktop and server products as part of the Bug Finder desktop and server product installations.

For instance, to install Polyspace Test, Polyspace Bug Finder, and Polyspace Bug Finder Server™, run the installer three times. In each run, select the appropriate license and follow the prompts. You cannot install Bug Finder and Code Prover server products in the same installation folder as the other Polyspace products.

Note that even if you install Polyspace Test™ and Polyspace Bug Finder (or Polyspace Bug Finder and Polyspace Code Prover) in separate installations, you can run both products from the same user interface. For more information, see Install Polyspace Test on Desktop (Polyspace Test).

Install Other MathWorks Products

To install Polyspace with other MathWorks products such as MATLAB, run the MathWorks installer twice.

  • In the first run, choose the license that corresponds to the other MathWorks products, such as MATLAB, Simulink, or Embedded Coder.

  • In the second run, choose the license that corresponds to the Polyspace products. If you are installing multiple Polyspace base products, see Install Other Polyspace Products.

In this workflow, products such as MATLAB and Simulink are installed in a different root folder than the Polyspace products. You can link the two installations and use MATLAB scripts to run Polyspace. See Integrate Polyspace with MATLAB and Simulink.

Related Topics