Version 9.7, part of Release 2017a, includes the following enhancements:

Verification Setup

  • Unified User Interface: Create and maintain a single Polyspace project for Bug Finder and Code Prover analysis
  • Improved Speed and Precision: Run analysis faster and receive fewer orange checks as compared to previous releases​

Verification Results

  • Integers in Floating Point: See improved analysis precision for floating point variables that always take integer values​

Reviewing Results

  • Easier Review: View verification assumptions, see unreachable and aliased function calls in call graph

See the Release Notes for details.

Version 9.6, part of Release 2016b, includes the following enhancements:

  • Verification Setup
  • Diab Compiler Support: Set up Polyspace verification easily for code compiled with Wind River Diab compiler
  • Multitasking Code Verification Setup: Specify cyclic tasks and nonpreemptable interrupts directly as verification options
  • Polyspace API in MATLAB: Configure and run Polyspace using MATLAB objects
  • Verification Results
  • Subnormal Float Detection: Identify loss of precision from operations that lead to subnormal results
  • Improved Embedded Coder Support: View more precise results when generated code uses lookup tables or large data structures

See the Release Notes for details.

Version 9.5, part of Release 2016a, includes the following enhancements:

  • Autocompletion for Review Comments: Partially type previous comment to select complete comment
  • S-Function Analysis: Launch analysis of S-Function code from Simulink
  • Persistent Filter States: Apply filters once and view filtered results across multiple runs
  • Floating-Point Support: Propagate ranges more precisely for long double variables and enable verification mode to incorporate infinities and NaNs

See the Release Notes for details.

Version 9.4, part of Release 2015b, includes the following enhancements:

  • Option to Suppress Non-initialization Checks: Customize verification by suppressing non-initialization checks
  • Improved Concurrency Detection: View more precise sharing and protection results based on dynamic information such as data flow in branching statements and protection on individual fields of a structure
  • Microsoft Visual C++ 2013 Support: Analyze code developed in Microsoft Visual C++ 2013
  • Additional MISRA C:2012 Support: Detect violations of all MISRA C:2012 rules except rules 22.x

See the Release Notes for details.

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.