Polyspace Code Prover

All Releases

R2015a (Version 9.3) - 5 Mar 2015

Version 9.3, part of Release 2015a, includes the following enhancements:

  • Simplified workflow for project setup and results review with a unified user interface
  • Review of code complexity metrics and global variable usage in user interface
  • Context-sensitive help for code complexity metrics, MISRA-C:2012, and custom coding rules
  • Detection of stack pointer dereference outside scope
  • Review of latest results compared to the last run

See the Release Notes for details.

R2014b (Version 9.2) - 2 Oct 2014

Version 9.2, part of Release 2014b, includes the following enhancements:

  • Support for MISRA C:2012
  • Improved verification speed
  • Support for Mac OS
  • Improved verification precision for non-initialized variables
  • Support for C++11
  • Context-sensitive help for verification options and checks

See the Release Notes for details.

R2014a (Version 9.1) - 6 Mar 2014

Version 9.1, part of Release 2014a, includes the following enhancements:

  • Automatic project setup from build systems
  • Support for GNU 4.7 and Microsoft Visual Studio C++ 2012 dialects
  • Documentation in Japanese
  • Improved Polyspace Metrics security with HTTPS
  • Password-protected access to projects in Polyspace Metrics

See the Release Notes for details.

R2013b (Version 9.0) - 5 Sep 2013

Version 9.0, part of Release 2013b, includes the following enhancements:

  • Proven absence of certain run-time errors in C and C++ code
  • Color-coding of run-time errors directly in code
  • Calculation of range information for variables, function parameters and return values
  • Identification of variables exceeding specified range limits
  • Quality metrics for tracking conformance to software quality objectives
  • Web-based dashboard providing code metrics and quality status
  • Guided review-checking process for classifying results and run-time error status
  • Graphical display of variable reads and writes

See the Release Notes for details.

R2013a (Version 8.5) - 7 Mar 2013

Version 8.5, part of Release 2013a, includes the following enhancements:

  • Improved Polyspace Metrics security with HTTPS

See the Release Notes for details.