What (MISRA, AUTOSAR, CERT, ISO 26262) are you targeting?

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 Code Prover R2021a delivers faster analysis with more precise results for C/C++ code that uses the AUTOSAR Runtime Environment (RTE) API. Key improvements include:

: Unproven operations that might fail under specific, rare conditions. Developers must review these to ensure safety. Optimizing the R2021a Analysis Workflow

For teams already in the MathWorks ecosystem (Simulink, Embedded Coder, MATLAB), Polyspace R2021a is a natural, powerful extension. Its ability to prove code correctness—not just guess—makes it indispensable for the most demanding embedded applications.