Skip to Main Content Skip to Search
Home |   Select Country  Choose Country  |  Contact Us  |  Cart Store 
Create Account | Log In
Products & Services Industries Academia Support User Community Company

 

PolySpace™ Client™ for C/C++ 5.1

Product Description

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.

Contact sales
Free technical kit
Trial software
E-mail this page

Get Pricing and
Licensing Options

Upcoming Webinar

PolySpace Products for Simulink Users: Code Generation and Code Verification

Free Seminar

PolySpace for Code Verification in Hand-Written and Automatically Generated Code