((link)) - Polyspace R2021a

The enhanced guidelines checkers make it easier to meet strict standards for safety-critical systems (e.g., ISO 26262 for automotive, DO-178C for aerospace).

The R2021a update focuses on improving performance and usability across the entire Polyspace suite.

The R2021a release introduced several key enhancements to improve code quality and analysis speed: Customizable Guidelines Checkers : New software complexity checkers in Polyspace Bug Finder allow you to monitor quantifiable metrics like cyclomatic complexity and path counts. Mixed Code Analysis : You can now run Polyspace Code Prover on projects that contain a mixture of source files. AUTOSAR Support polyspace r2021a

metrics—such as cyclomatic complexity and number of paths—early in the development cycle to reduce future refactoring needs. Cross-Release Integration

, which can hinder adoption in high-frequency CI environments. IDE Integration : Capabilities are brought directly into the The enhanced guidelines checkers make it easier to

: Polyspace Bug Finder introduced a new category of customizable checkers to detect software complexity metrics, such as cyclomatic complexity and number of paths, early in development .

: Developers can configure checkpoints for specific code limits, including cyclomatic complexity, maximum nesting depth, and path counting. Mixed Code Analysis : You can now run

The Polyspace R2021a release by MathWorks represents a significant milestone in the evolution of static code analysis for embedded systems. This release introduces powerful new features designed to streamline compliance, enhance security, and reduce software complexity for C, C++, and Ada developers.