Version 9.8, part of Release 2017b, includes the following enhancements:

Verification Setup

  • Green Hills Compiler Support: Set up Polyspace analysis easily for code compiled with Green Hills Compiler
  • OSEK Multitasking Support: Detect the multitasking configuration for your OSEK application automatically

Verification Results

  • Stack Size Computation: Determine maximum stack usage by a C program and individual functions

Reviewing Results

  • Run-Time Error Cause: Navigate to and view the cause of red nonterminating loops or function calls

See the Release Notes for details.

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.