Integrate Classic Polyspace User Interface with Polyspace Access

R2026b

You can integrate the classic Polyspace® user interface with Polyspace Access™ to enable uploading results from your local machine to your Polyspace Access server.

To use the classic Polyspace user interface in R2026b, you must have or install Java® Runtime Environment (JRE™) software. See Revert to Classic Polyspace User Interface (Polyspace Bug Finder). Then, to integrate the classic Polyspace user interface with Polyspace Access:

  1. In the classic Polyspace user interface, go to Tools > Preferences and select the Server Configuration tab.

  2. Complete these fields:

    FieldDescription
    Polyspace Access URL

    The URL you use to log into the Polyspace Access interface specified as:

    https://hostName:port
    or
    http://hostName:port
    If you do not know the URL, contact your Polyspace Access administrator.

    Client keystore path

    Path to the keystore file where you imported the signed certificate used to configure Polyspace Access with HTTPS. See Generate a Client Keystore.

    This field is mandatory if the Polyspace Access URL uses HTTPS. If the URL uses HTTP (not recommended), leave this field blank.

    Client keystore password

    The password associated with the keystore file. See Generate a Client Keystore.

    This field is mandatory if the Polyspace Access URL uses HTTPS. If the URL uses HTTP (not recommended), leave this field blank.

To check the connection between the classic desktop interface and the Polyspace Access instance that you specify in the Polyspace Access URL field, click Check Polyspace Access connection. If required, enter your Polyspace Access credentials.

To associate your Polyspace desktop interface with Polyspace Access, click Register Polyspace UI, click OK, and then close and restart the desktop interface for the changes to take effect. After you restart the desktop user interface, select Access to:

  • Open the Polyspace Access web interface.

  • Open analysis results from the Polyspace Access database.

  • Upload analysis results to the Polyspace Access database.

Generate a Client Keystore

If Polyspace Access is configured to use HTTPS, generate a Java KeyStore (JKS) file to enable communication between Polyspace Access and the classic user interface for Polyspace Bug Finder™, Polyspace Code Prover™, and Polyspace Client™ for Ada.

In order to generate a client keystore, you must:

  • Obtain the signed certificate used to configure Polyspace Access with HTTPS and import that certificate to the JKS file that you generate.

  • Generate the JKS file using the keytool utility from the same folder that your JAVA_HOME environment variable points to.

Obtain Polyspace Access Signed Certificate

If you manage the Polyspace Access software installation, copy the signed certificate that you obtained to configure Polyspace Access with HTTPS to client machines. Use a utility such as scp to securely copy the certificate from the server machine where you installed Polyspace Access to client machines.

If you are a Polyspace Access end user, contact your Polyspace administrator to obtain a copy of the signed certificate. Alternatively, download a signed certificate from your web browser. See Download Signed Certificate from Web Browser.

Generate JKS file and Import Polyspace Access Signed Certificate

Starting in R2026b, installations of Polyspace Bug Finder and Code Prover no longer include Java. To use the classic user interface, you must first Install Java Runtime Environment (JRE) for Java-based Polyspace Workflows (Polyspace Bug Finder). Then, to integrate the classic user interface with Polyspace Access, generate the JKS file using the keytool key and certificate management utility from the same folder that your JAVA_HOME environment variable points to.

For example, if you obtained Polyspace Access signed certificate file admin_cert.cer, generate the corresponding JKS file by using this command:

keytool -importcert -trustcacerts -alias cert -file admin_cert.cer -keystore client-cert.jks -storetype JKS -storepass password
The command outputs file client-cert.jks. The password associated with this keystore file is password.

Download Signed Certificate from Web Browser

To download a copy of the Polyspace Access signed certificate, follow your web browser instructions on how to view and download a certificate.

After you download the certificate, follow the instructions in Generate JKS file and Import Polyspace Access Signed Certificate to generate the client keystore.

Note

Talk to your network security administrator before downloading a signed certificate from your web browser. If your network is not protected from unauthorized access, downloading a certificate from a web browser can leave you vulnerable to a man-in-the-middle (MITM) attack.

See Also

Topics