: This release continues to refine performance, leveraging JIT compilation to speed up analysis times for large codebases. Exhaustive Analysis
like "Cyclomatic Complexity" or "Red Zones." polyspace r2021a
| Product | Purpose | Typical Use | |---------|---------|-------------| | | Find logic, data flow, and concurrency defects early. | Continuous integration (CI) for general code quality. | | Polyspace Code Prover | Prove absence of runtime errors (overflow, division by zero, out-of-bounds access). | Certification & safety-critical code (DO-178C Level A, ISO 26262 ASIL D). | | Polyspace Access | Web-based dashboard for aggregating results across teams/projects. | Centralized review, traceability, and metrics. | | Polyspace Server | Batch execution and compute farm integration (e.g., LSF, SLURM). | Large-scale or automated analysis. | : This release continues to refine performance, leveraging
: Polyspace Code Prover now runs faster and provides more precise results for C/C++ code utilizing the AUTOSAR RTE API. | | Polyspace Code Prover | Prove absence
Polyspace R2021a can generate:
: For developing safety-critical systems in vehicles, such as autonomous driving software.