Polyspace Bug Finder

New Features

R2015a (Version 1.3) - Released 5 Mar 2015

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

  • Simplified workflow for project setup and results review with a unified user interface
  • Code complexity metrics available in user interface
  • Context-sensitive help for code complexity metrics, MISRA-C:2012, and custom coding rules
  • Review of latest results compared to the last run

See the Release Notes for details.

Previous Releases

R2014b (Version 1.2) - 2 Oct 2014

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

  • Support for MISRA C:2012
  • Parallel compilation for faster analysis
  • Additional concurrency issue detection (deadlocks, double locks, and others)
  • Support for Mac OS
  • Support for C++11
  • Context-sensitive help for analysis options and defects

See the Release Notes for details.

R2014a (Version 1.1) - 6 Mar 2014

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

  • Automatic project setup from build systems
  • Classification of bugs according to the Common Weakness Enumeration (CWE) standard
  • Additional coding rules support (MISRA-C:2004 Rule 18.2, MISRA-C++ Rule 5-0-11)
  • Support for GNU 4.7 and Microsoft Visual Studio C++ 2012 dialects

See the Release Notes for details.