Axivion Suite 7.10 - CUDA, MISRAなど

本稿は「Axivion Suite 7.10 - CUDA, MISRA and More」の抄訳です。
 

Axivion 7.10 のリリースを発表いたします。今回のリリースにより、お客様は C および C++で利用可能だったすべての機能を、CUDAアプリケーションの解析にもご利用いただけるようになりました。また、Axivion は主に安全性が重要視される環境で使用されていることから、最新リリースでは MISRA、CWE、CERT などの安全性およびセキュリティガイドラインに対応する追加ルールも含まれています。

Axivion for CUDA Applications

間違いなく、今回の最大の革新は Axivion の解析機能が拡張され、NVIDIA GPU 上で動作するコードを書くためのプログラミングモデルおよび構文であるCUDAにも対応したことです。CUDAは、科学研究から商用製品まで幅広いアプリケーションで利用されており、特にAIベースのアプリケーションや高速自動車システムといった分野で大きな影響を与えています。

新しいリリースでは、アーキテクチャ検証、クローンの検知と管理、メトリクス監視、コーディングガイドラインと不具合検知、デッドコード分析、循環依存検知といったAxivion Suiteの全機能セットが、CUDAアプリケーションでも利用できるようになりました(Axivion for CUDA)。これにより開発者は、1つのツールでC/C++およびCUDAコード全体に広範な解析を適用できます。

最高のセキュリティ基準を満たす

自動車、医療、産業用アプリケーションなど、セーフティクリティカルな環境で使用されるソフトウェアが、厳格なセキュリティ要件を満たすことを保証することは、Axivion Suiteの重点分野の1つです。この分野の改善は常に行われており、今回のリリースも例外ではありません。新たに公開されたMISRA C:2025ルールをAxivionのMISRAチェッカーに追加することで、自動的にテスト可能なMISRAルールを引き続き100%カバーしています。

7.10 リリースでは、すでに充実しているコーディングガイドラインチェッカーのルールに加え、CERT C/C++ セキュアコーディング規約 に対応する追加ルールも含まれています。また、CWE および AUTOSAR 関連のチェック機能についても改良が加えられています。

セットアップ時のユーザーエクスペリエンスの向上

コンフィギュレーションセットアップウィザードに大幅な改良が加えられ、新規プロジェクトのセットアップ効率が向上しました。セットアップ中にバージョン管理システムが自動的に検出されるようになり、プロジェクトの設定が簡素化されたことで、新しいプロジェクトの解析設定が容易になりました。また、コンパイラーのセットアップスクリプトが自動で実行される機能も追加されました。

上記に加えて、ダッシュボード設定用の証明書ウィザードも導入されました。サイバーセキュリティの脅威が高まる中、標準や規制の要求も厳しくなっています。関連する規格や規制はますます厳しくなっています。Axivion 7.10 では、証明書を使用した安全な通信をより簡単に利用できるようにするために、この証明書ウィザードが新たに導入されています。

Axivion 7.10 リリースのその他の注目点

バージョン 7.10 では、以下のような注目すべき新機能や改善が追加されています

  • SSO(シングルサインオン)サポートの拡充
    より多様な企業のセキュアなユーザー認証ニーズに対応するため、Okta および Ping ID といった追加のシングルサインオンソリューションをサポートしました。
  • Linux ARM サポート
    Axivion は、サポートするホストオペレーティングシステムのリストを拡大を続けておりLinux ARM を新たにネイティブサポートしました。
  • C#13 サポート
    最新のコンパイラ開発動向にも対応しており、C# 13 を使用する開発者は Axivion のコード解析機能を最大限に活用できます。
  • C23 および C++23 サポートの強化
    最新の規格への対応として、C23 および C++23 のサポートが強化され、すべての機能で最新規格との互換性が向上しています。
  • Bazel 統合の改善
    7.10 リリースでは、Bazel ビルドシステムに Axivion をより簡単に統合できるカスタムルールセットのダウンロード が可能になりました。このルールセットは、既存の設定に基づいて Axivion コンパイラ用のツールチェーンを作成する機能を提供します。
  • Qt Creator プラグインの改良
    前回のリリースで導入された Qt Creator 用プラグイン も改善されました。ダッシュボードサーバーの機能強化により、すべての問題プロパティに対応するクライアント実装が可能になり、ヘルプメニューへのアクセスも簡単化 されています。これらの改善は、次回の Qt Creator リリースで利用可能になる予定です。

詳細情報のご案内

Axivion の既存のお客様は、カスタマーポータルで Axivion Suite 7.10 リリースに関する詳細な技術情報をご覧いただけます。営業担当者へもお気軽にお問い合わせください。

弊社のアーキテクチャ検証ツールや静的コード解析ツールに関する詳細については弊社ウェブサイトをご覧ください

お問い合わせやデモをご希望の場合は、弊社までご連絡ください。


Blog Topics:

Comments