Polyspace Code Prover

新機能

R2014b (バージョン 9.2)

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

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

  • MISRA C:2012 のサポート
  • 検証スピードの向上
  • Mac OS のサポート
  • 未初期化変数に対する検証精度の向上
  • C++11 のサポート
  • 検証のオプションおよびチェックに対するコンテキスト依存のヘルプ

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

今すぐアップデート

以前のリリース

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

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

  • ビルド システムからの自動プロジェクト セットアップ
  • GNU 4.7 および Microsoft Visual Studio C++ 2012 の言語のサポート
  • 日本語ドキュメンテーション
  • HTTPS による Polyspace メトリクスのセキュリティ向上
  • Polyspace メトリクスのプロジェクトへのパスワードで保護されたアクセス

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