To support modern development environments, R2021a expands its compatibility with industry tools:
According to user reports, Polyspace R2021a performs well in typical workflows, with one user noting successful analysis of C code using the MinGW compiler on Windows 10. However, analysis may stop due to insufficient disk space, as Polyspace server requires adequate storage for temporary and result files. polyspace r2021a
A common pain point in embedded development is the analysis of projects that contain a mixture of C and C++ source files. Polyspace R2021a directly addressed this by enabling Code Prover to handle mixed-language projects natively. By specifying the C-CPP option for the source code language ( -lang ), Polyspace now compiles C files as C and C++ files as C++ within a single project, then verifies the entire codebase as a C++ project. This eliminated the need for cumbersome workarounds where developers had to manually separate C files from their C++ counterparts before analysis. Polyspace R2021a directly addressed this by enabling Code