: Developers can now run a single Polyspace Code Prover analysis on projects containing a mix of C and C++ source files, simplifying the verification of modern multi-language codebases.

To support modern development environments, R2021a expands its compatibility with industry tools:

For team-based development, introduces several UI and workflow improvements in R2021a to streamline result triage.

: A new category of customizable checkers in Polyspace Bug Finder™ helps teams monitor software complexity. These checkers track metrics like cyclomatic complexity and the number of paths to identify "heavy" modules that require refactoring before they become maintenance burdens.

: Added support for Visual Studio 2019 and GCC 8.x .

: The web interface now includes a filter to view findings from a baseline run that have been fixed in the current run, providing clear evidence of progress during remediation.

: A new default Code Review layout prioritizes the source code view, making it easier for developers to investigate the root cause of issues directly in the browser. Expanded Language and Compiler Support

: Expanded coverage for AUTOSAR C++14 , CERT C++ , and MISRA C++ rules.

: With R2021a, users can analyze code generated in earlier releases of Simulink® (R2020b or later) using the new pslinkrunCrossRelease function, allowing teams to upgrade their analysis tools without needing to migrate their entire model-based design environment immediately. Collaborative Analysis with Polyspace Access

: Users can now create their own custom defect checkers and coding standards using PQL, which supports a new .pql file format and a dedicated command-line tool. The "Shift Left" Philosophy Polyspace Notes - MATLAB & Simulink - MathWorks