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

Working with PolySpace Client for C++

You can use PolySpace Client for C/C++ with PolySpace Server for C/C++ to support three key activities 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 Client for C/C++ and PolySpace Server 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.

PolySpace Client for C/C++ provides graphical user interfaces that let you:

• Import the source code
• Customize a project by target, cross-compiler, and other options
• Conduct MISRA checking
• Monitor the status of jobs submitted to the server
• Download and visualize analysis results

You can also interact with PolySpace Client for C/C++ from the command line.

Next