Polyspace as You Code

Polyspace as You Code 拡張機能を有効にした Visual Studio Code のスクリーンショット。C ソースファイル内にリアルタイムの静的解析結果と検出されたコードの問題が表示されています。

IDE 上で C/C++ コードを解析

C/C++ ソースコードファイルは、保存時に (または必要に応じて) IDE 上で解析できます。結果はソースコードマーカーとして表示されるほか、専用の結果ペインでも確認できます。Polyspace as You Code は、Visual Studio 2019 と 2022、Visual Studio Code、Eclipse、さらに STM32 Cube や Wind River® Workbench® などの Eclipse ベースの IDE 向けプラグインまたは拡張機能として利用できます。コマンドライン API を使用して、他の IDE と連携することも可能です。

Polyspace as You Code

例

Polyspace インターフェースのスクリーンショット。チェックボックス、ルール名、影響度 (高・中・低) のほかに、静的メモリ、動的メモリ、データフローなどのプログラミング要素に関するコメントを含む、Polyspace as You Code のチェックリストが表示されています。

C/C++ コードの脆弱性を検出

組み込み C/C++ コードの品質を確保するために、セキュリティの脆弱性、メモリエラー、数値演算上の欠陥、並行処理エラーなどのカテゴリにわたる 300 種類以上のソフトウェア脆弱性をチェックでき、最新の C/C++ 規格に対応しています。

ドキュメンテーション

C/C++ のコーディング規約への準拠状況をチェック

コード作成時に、安全性とセキュリティに関するさまざまなコーディング規約 (MISRA C:2023、MISRA C++:2023、MISRA C:2012、AUTOSAR C++14、CERT C、CERT C++、CWE など) への準拠状況をチェックできます。

ドキュメンテーション

重大度、位置、説明、コンテキスト情報を含むコード解析結果の詳細情報が表示された Polyspace インターフェースのスクリーンショット。開発者が問題を理解し解決するのに役立ちます。

欠陥の根本原因を理解

欠陥の根本原因を理解し、的確な修正を行うことができます。各解析結果には詳細なコンテキスト情報が含まれており、欠陥の説明、対象のデータ型、期待される値と実際の値、欠陥に至るイベントトレース、該当するコード行などが表示されます。

Polyspace Copilot を使用して Polyspace as You Code を拡張することで、さらなるコンテキスト情報や修正案を得られます。

ドキュメンテーション

品質メトリクスとベースライン機能を表示する Polyspace ダッシュボードのスクリーンショット。ソフトウェア品質を時系列で追跡するためのチャートや指標が含まれ、開発者がコード改善に集中できるよう設計されています。

新たに発生した欠陥を追跡

ローカル チェックアウトまたは Polyspace Access 接続時の継続的インテグレーション (CI) ジョブの最新結果を用いて、コード解析をベースライン化し、コード変更を検証できます。品質監視リストを使用して、解析・レビュー対象のファイルを特定できます。

ドキュメンテーション

独自のコーディング規約の定義と適用オプションが表示する Polyspace インターフェースのスクリーンショット。チェックボックスとルールカテゴリがあり、プロジェクト固有のガイドラインに合わせてコード解析を調整できます。

一貫したコード品質に向けて解析をカスタマイズ

独自のチェッカーを追加することで、標準搭載されている C/C++ コードの欠陥検出項目を拡張できます。カスタマイズした欠陥カタログを用いると、チームやプロジェクト、または組織全体で一貫したルール適用が可能になります。独自の命名規則やコードメトリクスを適用して、コードの保守性も確保できます。

ドキュメンテーション

製品リソース:

ドキュメンテーション ビデオ 要件 リリースノート
Volvo Cars のソフトウェア ファクトリー、Polyspace を使用して開発のペースと品質を向上

「Polyspace を使用すると、すべてのコードをマージする前に重大なランタイムエラーを特定して修正することができ、ソフトウェアのセキュリティと品質を確保することができます。」

Johannes Foufas, Volvo Cars
その他のユーザー事例を見る