PolySpace™ Server™ for C/C++ 5.1

Product Description

• Introduction and Key Features
• Working with PolySpace Server for C/C++
• Verifying Program Dynamics
• Typical Run-Time Errors Detected

Introduction

PolySpace™ Server for C/C++, together with PolySpace™ Client for C/C++, provides a code-based verification tool that proves source code reliability and detects run-time errors in source code without requiring you to execute or modify the code. You can verify a combination of generated and hand-written code before it is compiled.

PolySpace Server for C/C++ is the computation engine of PolySpace™ products for C/C++. You use it to run jobs posted by PolySpace Client for C/C++ (available separately), and to manage multiple servers and queues.

PolySpace Server for C/C++ and PolySpace Client for C/C++ use abstract interpretation techniques to verify all possible executions of a program. As a result, they prove which operations are free of run-time errors, including overflows, divisions by zero, buffer overflows, or pointer issues, and identify where run-time errors will or might occur. PolySpace products for C/C++ use color-coding to highlight all elements in source code that have no errors, might have errors, definitely have errors, or cannot be reached. With this information, they generate metrics and reports that let you monitor and improve source code reliability.

Key Features

• Uses advanced code-based verification techniques to automatically verify all programs executions
• Does not require code execution, code modification, or test cases
• Produces verification results
• Generates HTML reports

Remote Launcher Manager, showing configuration options for PolySpace Server for C/C++. Options include setting user permissions and selecting available products. Click on image to see enlarged view.

Next