Customize Polyspace Platform User Interface

You can customize various aspects of the Polyspace® Platform user interface. Select Preferences in the toolstrip to open the Polyspace Preferences window.

Possible Customizations

Create Custom Review Status

When reviewing Polyspace results, you can assign a status such as To fix or Justified. See Address Results in Polyspace User Interface Through Bug Fixes or Justifications.

You can also create and assign custom statuses. To create a new status:

  1. Select the Add user status icon in the Review Statuses (Static results only) section.

  2. Enter the status in the Add User Status window, and then click Create.

    Optionally, to specify that Polyspace should consider results with this review status justified, select the Justified checkbox. See also Address Results in Polyspace User Interface Through Bug Fixes or Justifications.

Enable Optional Source Code Enhancements

The Source Code pane shows the source code with defects colored in red. The Polyspace Platform user interface contains optional enhancements for this pane to help with results review.

  • Select Show minimap to show a minimap with a condensed view of the entire source code. Click on a section of the minimap to navigate to the corresponding section of the source code in the Source Code pane.

  • Select Use high contrast theme to use an alternative color palate for the Source Code pane. Alternatively, right-click in the Source Code pane and select Toggle high contrast theme.

Specify Web Browser

Polyspace uses a web browser to open HTML reports, AUTOSAR spec documents, the Polyspace documentation, Polyspace Access™, and any links in the command output log. If you do not set a web browser, Polyspace uses your system's default web browser.

To change the web browser, enter the full path to the web browser executable in the Web browser box. Alternatively, select the folder icon to navigate to your web browser executable and select Open.

Set Polyspace Platform as the Default User Interface for Static Analysis

You can set Polyspace Platform as your default user interface for static analysis. If you select Set Polyspace Platform as default user interface for static analysis, the Polyspace Platform user interface opens the next time you start Polyspace. For more information about the Polyspace Platform user interface, see Benefits and Limitations of Switching to Polyspace Platform User Interface.

Storage of Polyspace Platform User Interface Customizations

The software stores the settings that you specify through the Polyspace Preferences in this file:

  • Windows®— Drive\Users\User\AppData\Roaming\MathWorks\MATLAB\Release\Polyspace\polyspace.prf

  • Linux®— /home/User/.matlab/Release/Polyspace/polyspace.prf

Here, Drive is the drive where the operating system files are located such as C:, User is the username, and Release is the release number.