Polyspace Bug Finder

New Features

R2014b (Version 1.2) - Released 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.

Previous Releases

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.