is a major release of MathWorks' static code analysis suite, designed to verify the safety, security, and reliability of C and C++ embedded software. This release is notable for introducing "Polyspace as You Code" and expanding its performance capabilities for complex safety-critical systems. Key Features and Improvements in R2021a What's New in Polyspace R2021a? - MATLAB & Simulink
releases (R2020b or later) using the newer R2021a Polyspace tools via the pslinkrunCrossRelease Expanded Tool Support : R2021a adds support for Visual Studio 2019 and GCC 8.x compilers, along with updated rules for AUTOSAR C++ 14 Pros & Cons Simultaneous Analysis polyspace r2021a
The Polyspace Desktop interface (Bug Finder & Code Prover) received a subtle but important change in R2021a: Polyspace R2021a is a major release of MathWorks'
metrics—such as cyclomatic complexity and number of paths—early in the development cycle to reduce future refactoring needs. Cross-Release Integration - MATLAB & Simulink 10
: 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.
