In certain situations, Polyspace R2021a was observed to produce an over-approximation of possible variable values (a known trade-off of the abstract interpretation method). This particular issue was confirmed and subsequently fixed in later releases.
What’s New in Polyspace R2021a? - MATLAB & Simulink - MathWorks
As codebases modernize, static analysis tools often lag behind compiler support. Polyspace R2021a significantly closes this gap with robust support for language features. polyspace r2021a
: 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.
| Metric | Polyspace R2020b | Polyspace R2021a | Improvement | |--------|------------------|------------------|--------------| | Code Prover analysis time (500k LOC, automotive) | 11.2 hrs | 8.1 hrs | 28% | | Memory usage (peak) | 32 GB | 24 GB | 25% | | Bug Finder false positive rate (MISRA C) | 12% | 8% | 33% | | Incremental reverification (single function change) | 100% of project | 28% of project | 72% reduction | In certain situations, Polyspace R2021a was observed to
Utilizes advanced formal methods and abstract interpretation.
Users can now utilize customized guidelines checkers to reduce software complexity, ensuring compliance with coding standards such as MISRA C/C++, CERT C, and AUTOSAR C++14. - MATLAB & Simulink - MathWorks As codebases
A significant highlight is the ability to run Polyspace Code Prover™ on projects containing a mixture of C and C++ source files. This addresses the increasing industry trend of using C++ for application logic while maintaining legacy C code.
Polyspace R2021a combines two main products, providing a comprehensive static analysis solution. 1. Polyspace Bug Finder
polyspace-bug-finder -sources main.c \ -target-compiler gcc9 \ -misra3 misra_c_2012_config.json \ -report-output-name results \ -generate-report -format pdf
To integrate Polyspace R2021a with an existing MATLAB R2021a installation: