Polyspace Bug Finder

新特性

R2014b (版本 1.2)

发行时间: 2014年10月2日

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

  • 支持 MISRA C:2012
  • 并行编译,分析速度更快
  • 新增并发问题检测(死锁、双锁等)
  • 支持 Mac OS
  • 支持 C++11
  • 分析选项和缺陷的上下文相关帮助

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

往期新闻稿

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

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

  • 通过构建系统自动设置项目
  • 按照通用缺陷列表 (CWE) 标准对缺陷(bug)进行分类
  • 新增代码规则支持(MISRA-C:2004 第 18.2 条、MISRA-C++ 第 5-0-11 条)
  • 为 GNU 4.7 和 Microsoft Visual Studio C++ 2012 方言提供支持

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