Polyspace R2021a Instant

Monograph: Polyspace R2021a

Overview

Polyspace R2021a is a static code analysis tool from MathWorks (part of the MATLAB/Simulink product family) focused on detecting run-time errors and coding-rule violations in C, C++, and Ada source code without executing the program. It uses formal methods and abstract interpretation to prove absence of certain classes of run-time errors (e.g., array out-of-bounds, divide-by-zero, null-pointer dereference) and to mark other code locations as “unproven” where insufficient information exists. Polyspace integrates with Simulink workflows, supports MISRA and other coding standards checks, and can be used for verification, certification support (DO-178C, ISO 26262, IEC 61508), and secure-coding assessment.

| Metric | Polyspace R2020b | Polyspace R2021a | Improvement | |--------|------------------|------------------|--------------| | Code Prover analysis time (500k LOC, automotive) | 11.2 hrs | 8.1 hrs | 28% | | Memory usage (peak) | 32 GB | 24 GB | 25% | | Bug Finder false positive rate (MISRA C) | 12% | 8% | 33% | | Incremental reverification (single function change) | 100% of project | 28% of project | 72% reduction | polyspace r2021a

Typical Use Cases

• Early defect detection during development to lower later rework and testing costs.
• Safety certification evidence (e.g., ISO 26262, DO-178C) — generating artifacts required by safety assessors.
• Enforcing coding standards (MISRA, CERT) across teams and releases.
• Root-cause analysis for sporadic or hard-to-reproduce bugs by reasoning about all possible runtime states.
• Verifying third-party or legacy code prior to integration.

• Proven: no run-time error for all possible executions.
• Unproven: potential run-time error, requires review.
• Dead code / not reached: unreachable under analysis assumptions.

: New customizable guideline checkers were added to help reduce software complexity. MISRA Rule 1.1 Customization Monograph: Polyspace R2021a Overview Polyspace R2021a is a

By leveraging these features, TechCorp was able to transform their development process and deliver bug-free code with confidence. Early defect detection during development to lower later

Optimized Code Review Layouts: A new default Code Review layout prioritizes the source code view, making it easier for developers to investigate the root cause of issues directly in the browser. Expanded Language and Compiler Support

. It enables finding bugs at the earliest possible stage of development. Mixed C/C++ Analysis Polyspace Code Prover