: Access the latest technical notes on Polyspace product features [5].
Enhancing Embedded Software Safety with Polyspace R2021a: A Comprehensive Guide polyspace r2021a
: New customizable guideline checkers were added to help reduce software complexity. MISRA Rule 1.1 Customization : Access the latest technical notes on Polyspace
: Users can now run a single analysis on projects containing a mix of C and C++ source files Orange (unproven) Daily developer use
Green (safe), Red (error), Gray (unreachable), Orange (unproven) Daily developer use, CI pipelines Final verification, safety-critical certification Practical Workflow with Polyspace R2021a
To fully appreciate the enhancements in R2021a, it is helpful to understand the two primary analysis tools within the Polyspace suite:
Polyspace Code Prover uses a distinct color-coding system to represent the safety of your source code: