For team-based development, introduces several UI and workflow improvements in R2021a to streamline result triage.
: 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.
: 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 polyspace r2021a
is a major update to the MathWorks static code analysis suite, designed to help developers prove the absence of critical run-time errors and uncover defects early in C and C++ projects. This release focuses on performance optimizations for large-scale embedded systems, particularly those using the AUTOSAR standard, and introduces new tools to manage code complexity. Key Advancements in Polyspace R2021a
: Users can define and share custom filter groups, allowing organizations to focus on the specific findings most relevant to their internal safety or security standards. The "Shift Left" Philosophy Polyspace Notes - MATLAB
: Polyspace Code Prover™ now runs faster and provides more precise results for code using the AUTOSAR RTE API . A new -library option allows for "smart stubs" that target AUTOSAR-specific checks without the overhead of checking the entire library implementation.
: Expanded coverage for AUTOSAR C++14 , CERT C++ , and MISRA C++ rules. : Polyspace Code Prover™ now runs faster and
: Added support for Visual Studio 2019 and GCC 8.x .