Install Code Prover for Server Usage
Install Polyspace®
Code Prover™
Server™ and Polyspace
Access™
Polyspace checks C/C++ code for bugs, run-time errors, coding standard violations, and other issues by using static analysis. You can run a Polyspace analysis on server class machines and review the analysis results on a web browser with these products:
Polyspace Code Prover Server for execution of a Code Prover analysis on servers.
Polyspace Access for web browser based review of results.
By using these products with a build automation tool, you can incorporate a Polyspace analysis into continuous integration systems.
Topics
Onsite Installation
- Install Polyspace Server and Access Products
Install Polyspace Bug Finder™ Server or Polyspace Code Prover Server, and products required to trigger the Polyspace analysis. - Install Polyspace Server Products at Command Line
Install Polyspace Server products at command line without user interaction (silent installation). - Install Products for Submitting Polyspace Analysis from Desktops to Remote Server
Configure server-client connection so that clients can offload the Polyspace analysis to a remote server and download results after analysis. - Offload Polyspace Analysis from Continuous Integration Server to Another Server
Send analysis to dedicated server, download results after analysis and then upload to Polyspace Access for review. - Update Polyspace Products
Update Polyspace products for desktop and server installations. - Integrate Polyspace with MATLAB and Simulink
Integrate Polyspace with MATLAB® and Simulink® to identify potential bugs, run-time errors, and coding standard violations in your model and code.
Cloud Deployment
- Install Products for Submitting Polyspace Analysis from Desktops to Servers Hosted on AWS
Offload a Polyspace analysis from a client machine to Polyspace Server installed on AWS® cloud infrastructure. - Install Products for Submitting Polyspace Analysis from Desktops to Servers Hosted on Azure
Offload a Polyspace analysis from a client machine to Polyspace Server installed on Azure® cloud infrastructure.
Related Information
- Install Polyspace Access (Polyspace Access)
