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

• Download the latest version if your software maintenance service is current.
• Purchase or request a renewal quote if your maintenance service has lapsed.
• Try the latest version by downloading or requesting trial software.

---

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.