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

Working with PolySpace Server for C/C++

You can use PolySpace Server for C/C++ with PolySpace Client for C/C++ to support three key stages in the software development workflow. You can:

• Verify and monitor code correctness at all stages of the software development process
• Find and correct run-time errors during coding
• Verify overall application integrity and quality levels

Together, PolySpace Server for C/C++ and PolySpace Client for C/C++ can be flexibly deployed within your group. For example, you can use one client with multiple servers to accelerate code analysis, or use one server with multiple clients to enable several individuals or teams to view server results at the same time.

Next