Version 9.10, part of Release 2018b, includes the following enhancements:

Verification Setup

  • Configuration from Build System: Automatically generate Polyspace configuration modules from build system
  • C11 and C++14 Support: Run Polyspace analysis on code with C11 or C++14 features
  • Compiler Support: Set up Polyspace analysis easily for code compiled with Renesas compilers
  • AUTOSAR Support: Run Polyspace on AUTOSAR software components by using MATLAB scripts

Verification Results

  • C++ Specific Checks: View more pertinent results for incorrect object oriented programming and exception handling checks

See the Release Notes for details.

Version 9.9, part of Release 2018a, includes the following enhancements:

Verification Setup

  • AUTOSAR Support: Set up modular Polyspace analysis for AUTOSAR Software Components automatically
  • MATLAB Coder Support: Run Polyspace on C/C++ code generated from MATLAB code without additional setup
  • Compiler Support: Set up Polyspace analysis easily for code compiled with Texas Instruments, IAR or CodeWarrior compilers

Verification Results

  • AUTOSAR Support: Check for run-time mismatch between AUTOSAR specifications and code implementation
  • MISRA C++ Support: Check for overriding of standard library functions, missing const qualifiers and other MISRA C++ rules

Reviewing Results

  • Concurrency Modeling: View all tasks and interrupts extracted from code and Polyspace configuration in one view

See the Release Notes for details.

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.