Polyspace Bug Finder

新機能

R2014b (バージョン 1.2)

リリース日: 2014年10月2日

R2014b で提供される Version 1.2 では、以下の機能が強化されています。

  • MISRA C:2012 のサポート
  • 並列コンパイルによる解析の高速化
  • 並列処理問題検出の追加(デッドロック、ダブル ロック、その他)
  • Mac OS のサポート
  • C++11 のサポート
  • 解析のオプションおよび欠陥に対するコンテキスト依存のヘルプ

詳細につきましては、リリース ノート (英語) をご覧ください。

以前のリリース

R2014a (バージョン 1.1) - 2014年3月6日

R2014a で提供される Version 1.1 では、以下の機能が強化されています。

  • ビルド システムからの自動プロジェクト セットアップ
  • CWE (共通脆弱性タイプ一覧) 標準に基づくバグの分類
  • 追加のコーディング ルールのサポート (MISRA-C:2004 ルール 18.2、MISRA-C++ ルール 5-0-11)
  • GNU 4.7 および Microsoft Visual Studio C++ 2012 の言語のサポート

詳細につきましては、リリース ノート (英語) をご覧ください。

製品評価版の入手
または製品の購入