Polyspace Code Prover

新特性

R2014b (版本 9.2)

发行时间: 2014年10月2日

9.2 版是 Release 2014b 的一部分,它提供了以下增强功能:

  • 支持 MISRA C:2012
  • 改进了验证速度
  • 支持 Mac OS
  • 改进了非初始化变量的验证精度
  • 支持 C++11
  • 验证选项和检查的上下文相关帮助

有关详细信息,请参阅发行说明

立即更新

往期新闻稿

R2014a (版本 9.1) - 2014年3月6日

9.1 版是 Release 2014a 的一部分,它提供了以下增强功能:

  • 通过构建系统自动设置项目
  • 为 GNU 4.7 和 Microsoft Visual Studio C++ 2012 方言提供支持
  • 提供日语版文档
  • 提高了 HTTPS 的 Polyspace 指标安全性
  • 通过密码访问 Polyspace 指标中的项目

有关详细信息,请参阅发行说明