like "Cyclomatic Complexity" or "Red Zones."
| Area | Limitation | Workaround | |------|------------|-------------| | C++17 | No std::pmr (polymorphic allocators) analysis. | Exclude or stub. | | MISRA C++ 2008 | Rule 15–5 (class destructor exceptions) not enforced. | Manual review. | | Code Prover | Recursion without depth limit leads to ? (unproven). | Add recursion depth bound via -max-recursion-depth . | | Floating-point | NaN detection requires -allow-nan flag; not on by default. | Set explicitly. | | Polyspace Access | No LDAP group sync – only manual user management. | Use API scripts to sync. | 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. like "Cyclomatic Complexity" or "Red Zones
: Improved Polyspace Access logging within the admin UI . What's New in Polyspace R2021a? - MATLAB & Simulink | Manual review