Polyspace R2021a Updated 🎁 Trusted Source

Polyspace R2021a: A Deep Dive into Features, Bug Fixes, and Workflow Enhancements

9. Supported Compilers & Targets

Polyspace Code Prover (Formal Verification)

Quantifiable Metrics

: These checkers monitor metrics such as cyclomatic complexity and the number of execution paths.

• Local run for individual files or project; for large codebases use Polyspace Server for distributed runs.

in R2021a delivers faster and more precise analysis for C/C++ code using the AUTOSAR RTE API polyspace r2021a