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
spacer spacer spacer spacer spacer spacer

 

PolySpace Client for C/C++ 7.0.1

Product Description

Introduction

PolySpace Client™ for C/C++, in conjunction with PolySpace Server™ for C/C++, provides code-based verification that proves the absence of overflow, divide by zero, out-of-bounds array access, and other run-time errors in source code without requiring program execution, code instrumentation, or test cases. PolySpace Client for C/C++ uses abstract interpretation techniques to verify code. You can use it to verify handwritten code, generated code, or a combination of the two, before compilation and test.

Key Features

  • File- and class-level verification of software components
  • Abstract interpretation techniques
  • Display of run-time errors directly in the code
  • MISRA C 2004 and JSF++ coding violation detection, with direct links to the source file
  • Integration with the Eclipse and Microsoft® Visual Studio® IDEs
PolySpace Viewer, showing color-coding for each file, procedure, and line of C/C++ code. Click on image to see enlarged view.
Contact sales
Free technical kit
Trial software
E-mail this page

Get Pricing and
Licensing Options

Recorded Webinar

Assess C/C++ Code Quality and Reuse Software with PolySpace Products