R2021a: Polyspace
Lumenplay is a Bluetooth SMART enabled, energy efficient, multi-colored string of lights that you control with your Android or iPhone.
: Added support for Visual Studio 2019 and GCC 8.x .
For team-based development, introduces several UI and workflow improvements in R2021a to streamline result triage.
To support modern development environments, R2021a expands its compatibility with industry tools: polyspace r2021a
: Developers can now run a single Polyspace Code Prover analysis on projects containing a mix of C and C++ source files, simplifying the verification of modern multi-language codebases.
: A new category of customizable checkers in Polyspace Bug Finder™ helps teams monitor software complexity. These checkers track metrics like cyclomatic complexity and the number of paths to identify "heavy" modules that require refactoring before they become maintenance burdens. : Added support for Visual Studio 2019 and GCC 8
: Expanded coverage for AUTOSAR C++14 , CERT C++ , and MISRA C++ rules.
is a major update to the MathWorks static code analysis suite, designed to help developers prove the absence of critical run-time errors and uncover defects early in C and C++ projects. This release focuses on performance optimizations for large-scale embedded systems, particularly those using the AUTOSAR standard, and introduces new tools to manage code complexity. Key Advancements in Polyspace R2021a : A new category of customizable checkers in
: With R2021a, users can analyze code generated in earlier releases of Simulink® (R2020b or later) using the new pslinkrunCrossRelease function, allowing teams to upgrade their analysis tools without needing to migrate their entire model-based design environment immediately. Collaborative Analysis with Polyspace Access
Produced by Rigado in Salem, OR.
Sold and shipped by Crowd Supply.
: Added support for Visual Studio 2019 and GCC 8.x .
For team-based development, introduces several UI and workflow improvements in R2021a to streamline result triage.
To support modern development environments, R2021a expands its compatibility with industry tools:
: Developers can now run a single Polyspace Code Prover analysis on projects containing a mix of C and C++ source files, simplifying the verification of modern multi-language codebases.
: A new category of customizable checkers in Polyspace Bug Finder™ helps teams monitor software complexity. These checkers track metrics like cyclomatic complexity and the number of paths to identify "heavy" modules that require refactoring before they become maintenance burdens.
: Expanded coverage for AUTOSAR C++14 , CERT C++ , and MISRA C++ rules.
is a major update to the MathWorks static code analysis suite, designed to help developers prove the absence of critical run-time errors and uncover defects early in C and C++ projects. This release focuses on performance optimizations for large-scale embedded systems, particularly those using the AUTOSAR standard, and introduces new tools to manage code complexity. Key Advancements in Polyspace R2021a
: With R2021a, users can analyze code generated in earlier releases of Simulink® (R2020b or later) using the new pslinkrunCrossRelease function, allowing teams to upgrade their analysis tools without needing to migrate their entire model-based design environment immediately. Collaborative Analysis with Polyspace Access
Rigado is a multi-discipline engineering design firm that provides full turnkey electronic product development.
