now supports projects containing a mix of both C and C++ source files in a single analysis run. AUTOSAR Improvements
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
: Tracks untrusted data inputs to prevent injection vulnerabilities. now supports projects containing a mix of both
Mastering Software Verification: A Comprehensive Guide to Polyspace R2021a : Tracks untrusted data inputs to prevent injection
Despite its robustness, users reported three recurring issues post-launch:
: Improved analysis speed and result precision for C/C++ code using the AUTOSAR RTE API IDE Integration : Use Bug Finder checkers directly within your Integrated Development Environment (IDE) to catch bugs earlier in the coding phase. 2. Core Comparison: Bug Finder vs. Code Prover Polyspace Bug Finder Polyspace Code Prover Primary Goal
: 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.