Polyspace Server for C/C++

Introduction

Polyspace Server™ for C/C++ provides code verification that proves the absence of overflow, divide-by-zero, out-of-bounds array access, and certain other run-time errors in source code. For faster performance, Polyspace Server for C/C++ lets you schedule verification tasks to run on a computer cluster. Jobs are submitted to the server using Polyspace Client™ for C/C++. You can integrate jobs into automated build processes and set up e-mail notifications. You can view defects, regressions, and code metrics via a Web browser. You then use the client to download and visualize verification results.

Key Features

• Web-based dashboard providing code metrics and quality status
• Automated job scheduling and e-mail notification
• Multiserver job queue manager
• Accelerated performance on multicore servers
• Verification report generation
• Mixed operating system environment support

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.