PolySpace™ Client™ for C/C++ 5.1

Product Description

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

Introduction

PolySpace™ Client for C/C++, together with PolySpace™ Server 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 Client for C/C++ is the management and visualization tool of PolySpace products for C/C++. You use it to submit jobs for execution by PolySpace Server for C/C++ (available separately) and to review verification results.

PolySpace Client for C/C++ and PolySpace Server 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 program executions
• Does not require code execution, code modification, or test cases
• Operates on files and components
• Highlights all diagnostics provided by PolySpace™ Server for C/C++
• Identifies run-time errors directly in the code
• Detects MISRA-C 2004 coding violations

PolySpace Viewer (left), showing color-coding for each file, procedure, and line of C/C++ code and PolySpace Queue Manager Interface (below, left) listing jobs posted to PolySpace Server for C/C++. Click on image to see enlarged view.

Next