Polyspace Server for C/C++ 8.2

Latest Features

Version 8.2

Released: 1 Sep 2011
 

Version 8.2, part of Release 2011b, includes the following enhancements:

• Identification in Polyspace metrics of verification result differences in consecutive runs

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 8.1

Released: 8 Apr 2011
 

Version 8.1, part of Release 2011a, includes the following enhancements:

• Code metrics for C++

See the Release Notes for details.

Version 8.0

Released: 3 Sep 2010
 

Version 8.0, part of Release 2010b, includes the following enhancements:

• New Web interface (Polyspace metrics) with predefined quality models including run-time error thresholds
• Automated scheduling of verification jobs and e-mail notifications

See the Release Notes for details.

Version 7.2

Released: 5 Mar 2010
 

Version 7.2, part of Release 2010a, includes the following enhancements:

• Enhanced Queue Manager interface on both Linux andWindows^® platforms

See the Release Notes for details.

Version 7.1

Released: 4 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.