The R2021a update delivers refinements across the entire Polyspace product line, from local IDE plugins to centralized web-based reporting.
: 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. polyspace r2021a
: Added support for Visual Studio 2019 and GCC 8.x . The R2021a update delivers refinements across the entire
: 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. : Added support for Visual Studio 2019 and GCC 8
: Polyspace Code Prover™ now runs faster and provides more precise results for code using the AUTOSAR RTE API . A new -library option allows for "smart stubs" that target AUTOSAR-specific checks without the overhead of checking the entire library implementation.