In R2021a, Bug Finder improved its interprocedural analysis, enabling detection of defects across function boundaries without incurring the performance penalty of full formal verification.
: While Polyspace provides standard templates, users can often customize report content to meet specific OEM or regulatory requirements. MATLAB EXPO troubleshoot an error in an existing one?
Polyspace R2021a combines two main products, providing a comprehensive static analysis solution. 1. Polyspace Bug Finder
Every nightly build runs Bug Finder in under 15 minutes for 200k LOC. Developers receive a report with: polyspace r2021a
polyspacesetup('uninstall')
Enforces industry standard rulesets, checking code against coding guidelines like MISRA C/C++, AUTOSAR C++14, and CERT C/C++.
: 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 In R2021a, Bug Finder improved its interprocedural analysis,
In Polyspace Bug Finder, users can now create custom checkers to enforce proprietary coding guidelines or specific architectural constraints, enhancing the customization of the static analysis process.
With C++17 adoption rising in embedded (e.g., std::optional , structured bindings, if constexpr ), Polyspace R2021a extended its semantic analysis to handle these constructs correctly in both Bug Finder and Code Prover. The abstract interpretation domain was updated to model std::variant and std::visit without false positives.
A Tier-1 aerospace supplier (anonymous due to ITAR) migrated from LDRA to Polyspace R2021a for a fly-by-wire controller. Polyspace R2021a combines two main products, providing a
Developers can use these checkers early in the development cycle to detect complex modules before they become problematic, reducing later refactoring efforts.
Polyspace is fully integrated with MATLAB and Simulink versions of the same release, offering complete functionality. For mixed‑version workflows, Polyspace R2021a can integrate with earlier MATLAB and Simulink releases, though some features may be limited.
Provides a formal proof that run-time errors (like division by zero, overflow, or buffer overflows) are absent in the code. Key Features and Updates in Polyspace R2021a
Here is technical content regarding (part of MATLAB R2021a release from MathWorks), focusing on its key features, bug fixes, and usage.