Polyspace Client for C/C++

Working with Polyspace Client for C/C++

Polyspace Client for C/C++ provides management and visualization capabilities for verifying software components on a desktop computer. It processes file-by-file or class-by-class verification as soon as the source code is written, updated, or generated. When used with Polyspace Server™ for C/C++, Polyspace Client for C/C++ lets you submit verification jobs to computer clusters.

Using the Polyspace Client for C/C++ command line or graphical user interfaces with Visual Studio or Eclipse, you can:

• Define which components, files, or classes of the source code you want to verify
• Customize a project by target, cross-compiler, or other options
• Check code for compliance with MISRA-C:2004, MISRA-C++:2008, or JSF++ (Joint Strike Fighter Air Vehicle C++) standards
• Submit multiple verification jobs to Polyspace^® servers running on a computer cluster or computer farm
• Ensure that the appropriate software quality objectives are met along your code life cycle using a Web browser (requires Polyspace Server for C/C++)
• Download data from the server to report or visualize verification results
• Focus on differences in run-time behavior compared with previous results

You can use Polyspace Client for C/C++ to support all critical activities in a software development workflow, including:

• Detecting run-time errors
• Enforcing coding standards
• Proving the absence of certain run-time errors
• Tracking the progress of your software quality objectives
• Creating artifacts for certification

Code verification workflow with Polyspace Client for C/C++ and Polyspace Server for C/C++. The queue manager receives the Polyspace verification request and selects the first available server to run the job.