Polyspace R2021a -

1.0 Last reviewed: Based on official MathWorks R2021a documentation and field experience. Suggested retention: Use until at least R2023b for reference; check MathWorks website for end-of-maintenance date (typically 3 years after release).

: You can now run Polyspace Code Prover on projects containing a mix of C and C++ source files without needing to separate them into different verification runs. polyspace r2021a

Polyspace R2021a (version 2021a) focuses on enhanced MISRA compliance, C++11/14 support improvements, and streamlined reporting. Polyspace R2021a (version 2021a) focuses on enhanced MISRA

: A new category of customizable checkers in Polyspace Bug Finder allows you to monitor quantifiable code complexity metrics, such as cyclomatic complexity and path counts, helping detect overly complex modules early in development. C++11/14 support improvements

: Support was added for additional rules within AUTOSAR C++14 , CERT C++, and MISRA C++.