PolySpace Server for C/C++ 7.2

Introduction

PolySpace Server™ for C/C++, in conjunction with PolySpace Client™ for C/C++, provides code-based verification that proves the absence of overflow, divide by zero, out-of-bounds array access, and other run-time errors in source code. With PolySpace Server for C/C++ you can accelerate code verification by performing the verifications on a computer cluster. Jobs are submitted to the server using PolySpace Client for C/C++. You then use the client to download and visualize verification results.

Key Features

• Queue manager for dispatching multiple verification tasks to multiple servers
• Verification report generation
• Support for mixed operating system environments
• Ability to run verification tasks on multicore servers

Code verification workflow with PolySpace Client for C/C++ and PolySpace Server for C/C++. The queue manager receives the PolySpace verification request and selects the first available server to run the job. Click on image to see enlarged view.