Release 2021b provides new features and enhancements to Polyspace® products, including Polyspace as You Code—a new feature designed explicitly for developers.
Polyspace as You Code
In 2021b, Polyspace as You Code brings the functionalities of Polyspace Bug Finder™ into Integrated Development Environments (IDEs). As an IDE plugin, Polyspace as You Code runs automated analysis on the files under development and reports source code vulnerabilities and coding standard violations. When linked to a Polyspace Access™ server, the plugins report only newly introduced defects, helping you maintain a consistent code quality level throughout development.
For more information, see Polyspace as You Code.
More Compilers Supported
IAR Embedded Workbench compilers and GCC versions 9.x and 10.x are now natively supported. Once you specify these compiler names for the analysis, Polyspace can understand compiler-specific extensions of the standard C/C++ language.
See also Polyspace Support for Compilers.
Polyspace Bug Finder increases coverage of the AUTOSAR C++14 standard with 18 new rules supported in R2021b.
Also, this release introduces new performance checkers that help you improve your modern C++ coding. These checkers detect inefficient constructions so you can make changes and take full advantage of the newer C++11 or C++14 features.
See also Performance Defects.
Faster C++ Code Proving
Polyspace Code Prover™ now emulates bodies of
std::string methods leading to faster analysis. On average, the analysis takes half the time compared to previous releases in code bases with significant use of string libraries. In large code bases with heavy use of this library, the analysis time reduces even further.
User Group Management on Polyspace Access
In R2021b, you can use groups to manage project permissions for large sets of users. You can import groups from your organization’s Lightweight Directory Access Protocol (LDAP) or create custom groups. Creating groups lets you add permissions more easily when new users join your team or organization.