Polyspace R2021b有什么新功能?

版本2021b提供了Polyspace的新功能和增强功能^®下载188bet金宝搏产品,包括Polyspace as You Code-专门为开发人员设计的新功能。

Polyspace as You Code

在2021b, Polyspace as You Code将Polyspace Bug Finder™的功能引入集成开发环境(ide)。作为一个IDE插件，Polyspace As You Code对正在开发的文件运行自动分析，并报告源代码漏洞和编码标准违规。当链接到Polyspace Access™服务器时，插件只报告新引入的缺陷，帮助您在整个开发过程中保持一致的代码质量级别。

有关更多信息，请参见Polyspace as You Code．

支持更多编译器金宝app

IAR嵌入式工作台编译器和GCC版本9。X和10。X现在是本地支持的。金宝app一旦您为分析指定了这些编译器名称，Polyspace就可以理解标准C/ c++语言的特定于编译器的扩展。

另请参阅对编译器的Polys金宝apppace支持．

更多的检查

Polyspace Bug Finder增加了AUTOSAR c++ 14标准的覆盖范围，R2021b支持18个新规则。金宝app

此外，该版本还引入了新的性能检查器，可以帮助您改进现代c++代码。这些检查器检测低效的结构，这样您就可以进行更改并充分利用更新的c++ 11或c++ 14特性。

另请参阅性能缺陷．

更快的c++代码证明

Polyspace Code Prover™现在模拟的身体std:: string方法导致更快的分析。平均而言，与之前大量使用字符串库的代码库版本相比，分析所需的时间缩短了一半。在大量使用这个库的大型代码库中，分析时间甚至会进一步减少。

Polyspace Access的用户组管理

在R2021b中，您可以使用组来管理大型用户集的项目权限。您可以从组织的轻量级目录访问协议(LDAP)导入组或创建自定义组。创建组可以让您在新用户加入您的团队或组织时更容易地添加权限。

有关更多信息，请参阅这些发布说明:

• Polyspace Bug Finder
• 多空间代码证明