NVIDIA の CUDA C++ ガイドラインへの準拠、拡張されたツール認証キット、追加された CWE ルールでセキュリティと可視性がさらに向上
Axivion 7.11 のリリースをお知らせします。今回のバージョンでは、セキュリティと使いやすさをさらに高める新機能が多数追加されています。開発者は、Axivion が主要な業界標準およびコーディングガイドラインの最新版 – 特に NVIDIA が公開したばかりの CUDA C++ Robust and Safety-Critical Programming Guideline – に継続的に対応していることを信頼して活用できます。また、ユーザビリティの改善に加え、対応プログラミング言語に Rust が新しく加わりました。
今年の春にリリースした Axivion for CUDA は大変好評でしたが、今回のリリースではさらに強力な新機能が追加されました。MISRA に基づく CUDA コードの準拠チェックが改善されただけでなく、CUDA C++ コードが NVIDIA の CUDA C++ Guidelines for Robust and Safety-Critical Programming に対応しているかどうかも確認できるようになりました。 これは、安全性が重要な分野（自動車、医療など）で CUDA C++ を利用する開発者にとって非常に大きなメリットです。Axivion を使えば、膨大なルールを事前に読み込まなくても、ガイドライン遵守が容易になります。
更新されたツール認証キット（Tool Qualification Kit）では、MISRA ルールや CUDA C++ ガイドラインを含め、CUDA C++ 向けのツールとして Axivion を検証できるようになりました。これにより CUDA プロジェクトの認証準備がより簡単になります。
NVIDIA CUDA C++ ガイドラインに沿って開発する方法はこちら： ツアーを開始する
更新されたツール認証キットには、Axivion Architecture Verification（アーキテクチャ検証） も含まれるようになりました。アーキテクチャ検証は、安全性が求められる環境で高品質なソフトウェアを維持するために欠かせない機能であり、ソフトウェアコンポーネント同士の意図しない影響（干渉）を防ぐ役割を果たします。これにより、ソフトウェアのセグリゲーション（分離）や Freedom from Interference（干渉の排除） を証明する必要がある場合にも、Axivion のツール認証キットを活用できます。
詳細はこちら：Axivion ツール認定キット
Axivion は、セキュリティ関連機能の強化を最優先事項としています。自動車、医療、産業オートメーションなどの安全性が求められる環境に最適です。今回のリリースでは、改善されたツール認証キットに加え、新たな CWE ルール（今回は C# 向けも追加）も拡張されています。
関連ウェビナーを見る：Taint Analysis: Closing the Gaps Before Attackers Find Them
関連ブログはこちら：複数言語ソフトウェアプロジェクトに潜む落とし穴
バージョン 7.11 の代表的な改善点は以下の通りです：
ご質問やデモのご依頼がありましたら、ぜひお気軽にお問い合わせください。
既存のお客様は、Axivion 7.11 の詳細な技術情報をカスタマーポータル からご覧いただけます。担当アカウントマネージャーへもお気軽にご連絡ください。
最新の製品情報やイベント情報を入手するには、ニュースレターへのご登録をご検討ください： Sign Up For Our Newsletter