Polyspace: R2021a ((hot))

: This release supports PQL, a powerful tool for creating user-defined defect checkers and custom coding standards tailored to specific project requirements.

R2022a added further refinements:

This update allows teams migrating from C++11/14 to C++17 to maintain their rigorous verification standards without rewriting code to suit the analysis tool. polyspace r2021a

Polyspace Code Prover now natively supports projects containing a mix of C and C++ source files . : This release supports PQL, a powerful tool

Compliance is non-negotiable in regulated industries. R2021a expands checking capabilities for the AUTOSAR C++14 coding rules. It also provides updated compliance reporting for MISRA C:2012, making it easier to generate safety case documentation for ISO 26262 (automotive) and DO-178C (aerospace) audits. 2. Enhanced Security Vulnerability Detection : This release supports PQL