PolySpace Client for C/C++ 6.0

Latest Features

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.

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 5.1.1

Released: 21 May 2008
 

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

Version 5.1

Released: 17 Mar 2008
 

Version 5.1 includes the following enhancements:

• Removed dependency on Cygwin™ for Windows® platforms, to simplify the installation process while improving performance and robustness
• Enhanced and simplified installer
• New Generic Target option for C++, to allow custom target processors
• New support for the GNU® compiler (GCC 3.4) for C++

See the Release Notes for details.