R2021a — Polyspace

Identifies defects, coding standard violations, and security vulnerabilities.

polyspace-analysis: stage: test script: - polyspace-bug-finder -sources src/ -lang c++14 -checkers-selection "all" - polyspace-report-generator -results polyspace_results.psx -format junit -o report.xml artifacts: reports: junit: report.xml polyspace r2021a

Polyspace R2021a, developed by , is a major release of the static analysis toolset designed to detect bugs and prove the absence of critical runtime errors in C, C++, and Ada code. It is widely used in safety-critical industries like automotive, aerospace, and medical devices. Key Highlights of R2021a Mixed C/C++ Analysis : A standout feature in this version is that Polyspace Code Prover Key Highlights of R2021a Mixed C/C++ Analysis :

This command traces the make build process, captures all compiler options and source files, and generates a Polyspace options file ( myConfig.psbf ) ready for analysis. coding standard violations

Polyspace is split into two primary products, both of which received massive updates in R2021a: