Integrate Polyspace Platform User Interface with Polyspace Access

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

To integrate the Polyspace Platform user interface with Polyspace Access:

1. In the Polyspace Platform user interface, select Settings from the toolstrip to open the Polyspace Platform Settings window.

2. Select Polyspace Access and specify these settings:

   Field	Description
   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. This field is mandatory if the Polyspace Access URL uses HTTPS. If the URL uses HTTP (not recommended), leave this field blank.

   

Restart the Polyspace Platform user interface for your changes to take effect. Once you restart the Polyspace Platform user interface, select Access from the toolstrip to:

• Open the Polyspace Access web interface.

• Upload analysis results to the Polyspace Access database. This option appears only when you are viewing results in the Review perspective.

• Generate reports for results stored in the Polyspace Access database. See Generate Reports of Bug Finder or Code Prover Results (Polyspace Bug Finder).

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 these Polyspace interfaces on client machines:

• The Polyspace Platform user interface

• The polyspace-report-generator (Polyspace Bug Finder) binary

• The polyspace-results-export (Polyspace Bug Finder) binary

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

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

To generate the JKS file, use the keytool key and certificate management utility. The keytool utility is available with your Polyspace desktop or server product installation in these folders:

• Windows^®: polyspaceroot\sys\java\jre\win64\jre\bin

• Linux^®: polyspaceroot/sys/java/jre/glnxa64/jre/bin

Here, polyspaceroot is your product installation folder, for instance /usr/local/Polyspace/R2026a.

It is recommended that you use the keytool utility included with your Polyspace desktop or server product installation to generate the keystore file. Other keytool utilities from JDK alternatives such as OpenJDK might generate keystore files with incompatible formats and should not be used. Additionally, when generating a keystore, keep the user and Polyspace versions consistent. For example, if you are using the R2026a version of Polyspace, use the R2026a version of the keytool utility.

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

keytool -import -trustcacerts -alias cert -file admin_cert.cer -keystore client-cert.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.