Update Polyspace Products

This topic describes how to update Polyspace® products for static analysis (Bug Finder and Code Prover) and dynamic testing (Polyspace Test™) on a desktop or server machine. To update Polyspace Access™, see Install Update or Upgrade to New Version of Polyspace Access (Polyspace Access).

Follow these steps to install the most recent updates for these Polyspace products:

  • Polyspace Bug Finder™

  • Polyspace Bug Finder Server™

  • Polyspace Code Prover™

  • Polyspace Code Prover Server

  • Polyspace Test

Close all running sessions of Polyspace, then run the update installer binary. Each update includes all the fixes from previous updates. For example, if you install update 3, you also get all the fixes from updates 1 and 2.

Run the update installer with a graphical interface if you are installing updates on a machine with an internet connection and a display. To install updates on a machine with no internet connection or a machine with no display, download the update package and then run the update installer silently.

To update multiple Polyspace base products, run the update installer for each base product. For example, to update Polyspace Test and Polyspace Bug Finder Server, run the update installer twice, once for each instance.

If you offload your Polyspace analysis from a client machine to a server machine, update Polyspace on both the client and server machines. The versions of Polyspace on the client and server machines must match. See Send Polyspace Analysis from Desktop to Remote Servers Using Scripts.

Install Update

Download the update installer from the MathWorks® Downloads page and install the update into your Polyspace installation folder. For updates to releases prior to R2025b, see the documentation of previous releases.

Step 1: Download Update Package

  1. On a machine that is connected to the internet and has a display, go to the MathWorks Downloads page. From the I Want To list, select Get Updates and then from the Select Release list, choose the release for which you want to apply an update.

  2. Expand the Get Updates for Polyspace Products section and then click Get Update Packages for Offline Installation.

    You can see this link only if you are a license administrator. If you are not the license administrator, to identify the administrator for a license, log into the MathWorks License Center, click the row for the relevant license, and select the Contact Administrator(s) tab.

  3. Select the platform on which you want to apply the update, and then click Download.

  4. Copy the zipped file that you downloaded in the previous step to the machine where you want to apply the update.

Step 2: Apply Polyspace Update

  1. On the machine where you copied the update package, unzip the update package to a new folder. For example, you can execute this command to unzip the package <updatePackageZipFile>.zip to a new folder:

    unzip <updatePackageZipFile>.zip -d <updatePkgFolder>
    The command unzips the package to a folder <updatePkgFolder> in the current directory.

  2. Navigate to the update installer binary for your platform and release and run the binary with the appropriate option:

    • Windows®:

      cd <updatePkgFolder>\bin\win64
MathWorksUpdateInstaller.exe --destination <polyspaceroot>

    • Linux®:

      cd <updatePkgFolder>/bin/glnxa64
./MathWorksUpdateInstaller --destination <polyspaceroot>

    • macOS:

      cd <updatePkgFolder>/bin/maci64
./MathWorksUpdateInstaller --destination <polyspaceroot>

    Here, polyspaceroot is the Polyspace installation folder, for example /usr/local/Polyspace/R2026a, and <updatePkgFolder> is the folder where you unzipped the update package in the previous step.

Check Update Installer Log and Update Version

To see the installation status or to check for errors in the installation update process, open the update installer log file. The update installer log is in your platform temporary folder.

Platform Path to Log File
Windows

C:\Users\username\AppData\Local\Temp\mathworks_username.log

Linux/macOS

/tmp/mathworks_username.log

You can also inspect the update log while the installer is running. For example, when installing the update on Windows, use this command:

MathWorksUpdateInstaller.exe --destination <polyspaceroot>; get-content -Last 1 $env:TEMP\mathworks_$env:USERNAME.log -wait
When installing the update on Linux or macOS, use this command:
./MathWorksUpdateInstaller --destination <polyspaceroot> & tail -f /tmp/mathworks_$USER.log
To stop the log output to the terminal after the update installation completes, press Ctrl+ C.

To check the Polyspace update version, go to the Polyspace installation folder and open the file VersionInfo.xml in a text editor. The update version is listed inside the <description><description/> tags. If no update is installed, the <description><description/> tags are empty.

See Also

Topics