Polyspace Client for C/C++ 8.3

Latest Features

Version 8.3

Released: 1 Mar 2012
 

Version 8.3, part of Release 2012a, includes the following enhancements:

• Merger of Coding Rules and Run-Time Checks perspectives
• Predefined compilation environment templates
• No requirement to review Non Terminating Call/Loop checks resulting from Red checks
• Guidance for simplifying and speeding run-time error resolution
• Checking of obligatory MISRA^® AC AGC rules
• Decreased number of Orange checks due to absolute address

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

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.