Comprehensive Overview of Polyspace R2021a is a major release from MathWorks that enhances static code analysis workflows for safety-critical C and C++ embedded software. This release focuses on increasing analysis speed, improving precision for specific automotive standards, and introducing new tools to manage code complexity. Key Features and Improvements in R2021a
: The tool supports the latest industry standards for coding, including MISRA C 2012, MISRA C++ 2008, and Ada 2012, ensuring compliance with regulatory requirements.
The update provided enhanced support for MISRA C:2012 and AUTOSAR C++14, ensuring that code not only ran without errors but also adhered to industry-standard stylistic and safety guidelines.
1.0 Last reviewed: Based on official MathWorks R2021a documentation and field experience. Suggested retention: Use until at least R2023b for reference; check MathWorks website for end-of-maintenance date (typically 3 years after release).
: Developers can now run a single Polyspace Code Prover analysis on projects containing a mix of C and C++ source files, simplifying the verification of modern multi-language codebases.
polyspace-code-prover -sources src/ -target-compiler gcc10 -entry-points main -runtime-range-analysis -output-folder PSPV_Result
int divide(int a, int b) return a / b; // Potential division by zero
Comprehensive Overview of Polyspace R2021a is a major release from MathWorks that enhances static code analysis workflows for safety-critical C and C++ embedded software. This release focuses on increasing analysis speed, improving precision for specific automotive standards, and introducing new tools to manage code complexity. Key Features and Improvements in R2021a
: The tool supports the latest industry standards for coding, including MISRA C 2012, MISRA C++ 2008, and Ada 2012, ensuring compliance with regulatory requirements.
The update provided enhanced support for MISRA C:2012 and AUTOSAR C++14, ensuring that code not only ran without errors but also adhered to industry-standard stylistic and safety guidelines.
1.0 Last reviewed: Based on official MathWorks R2021a documentation and field experience. Suggested retention: Use until at least R2023b for reference; check MathWorks website for end-of-maintenance date (typically 3 years after release).
: Developers can now run a single Polyspace Code Prover analysis on projects containing a mix of C and C++ source files, simplifying the verification of modern multi-language codebases.
polyspace-code-prover -sources src/ -target-compiler gcc10 -entry-points main -runtime-range-analysis -output-folder PSPV_Result
int divide(int a, int b) return a / b; // Potential division by zero