Polyspace R2021a -

: Analysis of code using the AUTOSAR RTE API is faster and more precise. New "smart stubs" for AUTOSAR libraries allow users to check for standard compliance without losing precision or needing complex manual setups.

Polyspace R2021a expanded its support for AUTOSAR C++14 rules, CERT C++ rules, and MISRA C++ rules. Importantly, it also began supporting the amendments to MISRA C:2012 rules introduced in Technical Corrigendum 1 and Amendment 2. However, it is worth noting that full support for the MISRA C 2020 standard did not arrive until Polyspace R2021b.

int divide(int a, int b) if (b == 0) return 0; // Green after fix return a / b; polyspace r2021a

By identifying overly complex modules during development, teams can refactor problematic code before it leads to costly maintenance issues or hidden bugs.

Focus Code Prover's deep formal analysis on high-risk, safety-critical modules rather than the entire codebase all at once. : Analysis of code using the AUTOSAR RTE

objects, streamlining the workflow for developers already in the MathWorks ecosystem. Just-in-Time (JIT) Compilation

Introduced as part of the broader MATLAB and Simulink R2021a release, Polyspace R2021a marked a significant milestone in the evolution of MathWorks' static code analysis tools. This release brought a host of powerful enhancements designed to help developers detect critical runtime errors, enforce coding standards, and validate safety- and security-critical software. Importantly, it also began supporting the amendments to

polyspace-configure -polyspace-bug-finder -output-options myConfig.psbf make -j8

: Developers no longer need to separate these files to achieve successful compilation and verification. Product Suite Comparison What's New in Polyspace R2021a? - MATLAB & Simulink

Uses formal methods to prove that code is free from runtime errors. Key Features and Enhancements in Polyspace R2021a

: The suite supports HIS (Hersteller Initiative Software) recommended thresholds for these complexity checkers. 2. Improved AUTOSAR Support