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

Analysis Setup

  • Green Hills Compiler Support: Set up Polyspace analysis easily for code compiled with Green Hills MULTI Compiler
  • OSEK Multitasking Support: Detect the multitasking configuration for your OSEK application automatically
  • Incremental Analysis in Eclipse: Detect bugs as you type and save code in your Eclipse IDE

Analysis Results

  • Security Standards Support: Detect violations of all secure coding guidelines from ISO/IEC Technical Specification 17961:2013 and more guidelines from SEI CERT C Coding Standard

Reviewing Results

  • Result Review Workflow: Hide results that you reviewed once and justified through source code annotations

See the Release Notes for details.

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

Analysis Setup

  • Unified User Interface: Create and maintain a single Polyspace project for Bug Finder and Code Prover analysis
  • Easier Compliance with Security Standards: Choose CWE, CERT C99, or ISO/IEC TS 17961 coding standard and address corresponding violations through Polyspace results and security reports
  • Incremental Analysis of Specific Checks: Analyze only files edited since previous analysis to quickly find new defects and coding rule violations

Analysis Results

  • Additional Defect Checkers for Security: Check for security vulnerabilities such as incorrect use of cryptographic routines
  • MISRA Amendment Support: Check your code for new security guidelines in MISRA C:2012 Amendment 1

See the Release Notes for details.

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

  • Analysis Setup
  • Diab Compiler Support: Set up Polyspace analysis easily for code compiled with Wind River Diab compiler
  • Multitasking Code Analysis Setup: Specify cyclic tasks and nonpreemptable interrupts directly as analysis options
  • Polyspace API in MATLAB: Configure and run Polyspace using MATLAB objects
  • Analysis Results
  • CERT C Support: Identify CERT C violations using defect checkers and coding rules
  • Reviewing Results
  • Data Race Graphs: Fix data race defects easily using graphical view of function call sequence

See the Release Notes for details.

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

  • Files to Review: Generate results for only specified files and folders
  • Autocompletion for Review Comments: Partially type previous comment to select complete comment
  • Faster MISRA Checking: Check coding rules more quickly and efficiently
  • S-Function Analysis: Launch analysis of S-Function code from Simulink
  • Persistent Filter States: Apply filters once and view filtered results across multiple runs

See the Release Notes for details.

Version 1.3.1, part of Release 2015aSP1, includes bug fixes.

See the Release Notes for details.

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

  • Results in Real Time: View results as they are produced
  • More Defect Categories: Detect security vulnerabilities, resource management issues, object oriented design issues
  • Complete MISRA C:2012 Support: Detect violations of all MISRA C:2012 rules
  • Mixed C/C++ Code: Run analysis on entire project with C and C++ source files
  • Defects Classified by Impact: Prioritize defect review by using the impact attribute assigned to each defect type
  • Improved Eclipse Support: View results embedded in source code and context-sensitive help
  • Autodetection of Multitasking Primitives: Analyze source code with multitasking primitives from POSIX and VxWorks without manual setup

See the Release Notes for details.