Main Content

Install Polyspace Code Prover Server

Install analysis engine on server

Polyspace® checks C/C++ code for bugs, run-time errors, coding standard violations, and other issues by using static analysis.

With the server products, Polyspace Bug Finder™ Server™ and Polyspace Code Prover™ Server, you can perform these checks on continuous integration servers after code submission. You can also offload your analysis from a local machine to more powerful server machine onsite or in the cloud.

Topics

Onsite Installation

Cloud Deployment