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.1

Latest Features


Version 7.1

Released: 04 Sep 2009
 

Version 7.1, part of Release 2009b, includes the following enhancements:

  • New Report Generator that presents PolySpace results in PDF, HTML, and other output formats
  • Enhanced Viewer that displays results with ToolTips containing the values of variables, operands, function parameters, and return values
  • New Graphs (similar to concurrent access graphs) available for all global data

See the Release Notes for details.


Update Now


Version 7.0.1

Released: 19 Mar 2009
 

Version 7.0.1, an update to Release 2009a, includes bug fixes.

Version 7.0

Released: 06 Mar 2009
 

Version 7.0, part of Release 2009a, includes the following enhancements:

  • Support for all checkable JSF++ rules
  • New back-to-source link that associates compile errors, MISRA C violations, and JSF++ violations directly to source
  • Integration of PolySpace® products with the Eclipse™ IDE
  • Code verification time reduction on multicore computers

See the Release Notes for details.

Version 6.0

Released: 09 Oct 2008
 

Version 6.0, part of Release 2008b, includes the following enhancements:

  • Automatic Orange Tester (for C), with ability to dynamically stress unproven code (orange checks) to identify run-time errors
  • Support for a subset of the Joint Strike Fighter Air Vehicle C++ coding standards (JSF++)
  • Support for 64-bit Linux

See the Release Notes for details.

Version 5.1.1

Released: 21 May 2008
 

Version 5.1.1, an update to R2008a, includes bug fixes.

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

Get Pricing and
Licensing Options

Update to the Latest Version