Prior to R2021a, compiling projects with a tight blend of distinct C and C++ source assets required segmented handling. Polyspace Code Prover R2021a natively supports mixed-language project configurations. By setting the -lang option to C-CPP , the engine automatically partitions and processes C files through the C compiler and C++ files through the C++ environment concurrently, unifying the verification report. Enhanced AUTOSAR and Modern C++ Support
With the automotive industry pushing toward autonomy, Polyspace R2021a added full support for MISRA C 2012 Amendment 3 (including Dir 4.14 regarding "restrict" qualifiers). The automatic fix suggestions for violations related to essential type models saved engineers hours of manual refactoring.
now supports projects containing a mix of both C and C++ source files in a single analysis run. AUTOSAR Improvements polyspace r2021a
: Select your target processor and compiler settings to ensure the analyzer mimics your hardware environment correctly. Check Selection : Enable specific coding standards such as MISRA C:2012 or the new Guidelines category for complexity checking. Review Results
Even though newer releases (R2022a, R2023b, R2024a) exist, for teams locked into specific legacy compiler toolchains. Specifically: Prior to R2021a, compiling projects with a tight
AUTOSAR (AUTomotive Open System ARchitecture) is a standardized software architecture for automotive electronic control units (ECUs). Given the automotive industry's reliance on Polyspace for functional safety verification (ISO 26262), robust AUTOSAR support has always been a cornerstone of the product.
Polyspace R2021a improved its ability to detect security vulnerabilities aligned with , CERT C++ , and CWE standards, helping developers mitigate risks related to buffer overflows, tainted data, and improper resource management. Polyspace Bug Finder vs. Code Prover (R2021a) Enhanced AUTOSAR and Modern C++ Support With the
Users can now run a single Polyspace Code Prover analysis on projects containing both C and C++ source files, simplifying the verification process for hybrid codebases.
: The analysis uses "smart stubs" for AUTOSAR library functions, reducing the need for manual setup while maintaining high precision. 3. Mixed C and C++ Analysis
For those interested in learning more about Polyspace R2021a, here are some key features: