Polyspace Client 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:

• Support for MISRA-C:2004 Technical Corrigendum 1
• Variable range summary in data dictionary

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++
• Distinction of structure field in the data dictionary
• Customization of computation through overflow
• Wizard to ease project configuration
• Precision enhancements on arrays and functions

See the Release Notes for details.

Version 8.0

Released: 3 Sep 2010
 

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

• Redesigned graphical interface
• Support for Japanese and Korean comments in results review
• Code metric support, including cyclomatic number and other HIS metrics
• Support for statically enforceable MISRA-C++ coding standard
• Partial support of C99 extensions
• Support code that executes on a 64-bit target

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 reviewing of results with user comments in source code
• Support for a subset of MISRA^® C++ coding rules (167 of 183 statically enforceable rules)
• Enhanced ToolTips in the Viewer that display pointer information, in addition to data ranges

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.

Version 7.0.1

Released: 19 Mar 2009
 

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