Polyspace R2021a [2K 2024]
Polyspace R2021a
is a major release of MathWorks' static code analysis suite, designed to verify the safety, security, and reliability of C and C++ embedded software. This release is notable for introducing "Polyspace as You Code" and expanding its performance capabilities for complex safety-critical systems. Key Features and Improvements in R2021a What's New in Polyspace R2021a? - MATLAB & Simulink
- polyspace-psr (or polyspace-processor) with project file, specifying target, include paths, and rule set (exact commands vary with installation). (Note: exact command names and parameters depend on local installation and license; refer to product documentation for precise CLI usage in R2021a.)
Polyspace R2021a is a release of the MathWorks Polyspace static analysis tools designed to detect bugs and prove the absence of run-time errors in C and C++ code. The R2021a update focused on improving developer workflows, specifically through the introduction of Polyspace as You Code and enhanced support for automotive standards. Key Features and Enhancements in R2021a Polyspace as You Code polyspace r2021a
- Integrate analysis into CI to run on commit and fail builds on new/unresolved unproven errors.
5. Integration with CI/CD (R2021a Specifics)
- Orange check (unproven) on
a / b– requires preconditionb != 0. - Red error (definite) on
dest[i]wheni == size– array index out of bounds.
| 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 | Polyspace R2021a is a major release of MathWorks'
