Polyspace Bug Finder

New Features

R2014a (Version 1.1)

Released: 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.