インテル^® Inspector 2021

C/C++、Fortran アプリケーション開発者向けのメモリー/スレッド化エラー検出ツールです。
インテル^® oneAPI ベース & HPC ツールキット (シングルノードおよびマルチノード) およびベース & IoT ツールキットに同梱されます。

評価版価格

概要

より少ないコストで信頼性の高いアプリケーションを開発

インテル^® Inspector は、 Windows* および Linux* OS 上で使用でき、C、C++ および Fortran アプリケーションのメモリーエラーとスレッド化エラーを容易に検出します。

特殊なコンパイラーやビルドの必要はありません。通常のデバッグもしくはリリースビルドのバイナリーを使用できます。グラフィック・ユーザー・インターフェイスもしくは、コマンドラインによる自動回帰テストが可能です。GUI は、Windows* と Linux* OS 上のスタンドアロンで利用でき、Windows* では Microsoft* Visual Studio* に統合できます。生産性を上げ、コストを抑えつつ早期に製品を市場へ投入できます。

メモリーエラー

メモリーリーク
メモリー破壊
割り当てと解放の API ミスマッチ
一貫性のないメモリー API の利用
不正なメモリーアクセス
初期化されていないメモリーの読み込み

スレッド化エラー

データ競合
ヒープ競合
スタック競合
デッドロック

詳細・新機能技術情報

戻る

製品種類

スイート製品に同梱

インテル^® Inspector は単体販売しておりません。以下製品に同梱されます。

インテル^® oneAPI ベース & HPC ツールキット

C/C++、Fortran コンパイラーと MPI 開発ツールにより、CPU およびアクセラレーターまたはそれらのクラスターへ最適化された HPC アプリケーションの開発を支援します。

インテル^® oneAPI ベース & IoT ツールキット

さまざまな IoT 開発ツールにより、スマートなコネクテッド・デバイスを構成する優れた IoT アプリケーションの開発を支援します。

戻る

新機能
詳細

インテル^® Inspector

バージョン 2021 新機能

主に以下の変更・機能が追加されました。
詳細は、リリースノートおよびインテル社公開の情報を参照ください。

機能およびセキュリティーを向上するための最新のサードパーティー・コンポーネントをサポート
CPU ターゲットで実行された DPC++ および OpenMP* オフロードコードのメモリーおよびスレッドエラー分析をサポート (プレビュー版)

戻る

詳細

コストを節約し、信頼性の高いアプリケーションを提供

インテル^® Inspectorは、Windows および Linux 上で動作する C、C++ および Fortran アプリケーション用の使いやすいメモリー/スレッド化エラーのデバッガーです。早期にエラーを見つけ、修正コストを節約します。

特別なコンパイラーやビルドは必要ありません。通常のデバッグまたはプロダクション・ビルドを使用するだけです。

グラフィカル・ユーザー・インターフェイスで使用でき、またコマンドラインで回帰テストを自動化することも可能です。ユーザーインターフェイスは、Windows と Linux の両方でスタンドアロンで使用することも、Microsoft Visual Studio と統合することもできます。

生産性を高め、コストを削減し、市場投入までの期間を短縮します。

インテル^® Inspector は、インテル^® Parallel Studio XE およびインテル^® System Studio ツールの一部として提供されています。製品には、サポートサービスが含まれます。

開発期間を短縮 – 再現性が低く非決定論的エラーを検出してデバッグ

動的解析では、複雑すぎて静的解析では検出できない微妙な欠陥や脆弱性を明らかにします。静的解析とは異なり、デバッガーの統合により問題を診断して根本的な原因を見つけることができます。インテル^® Inspector は、実行時にエラーが発生しなかった場合でも、再現性のないエラーや非決定的なエラーを検出できます。

図のような競合状態は、非決定論的であるためツールなしでの診断は非常に困難です。毎回発生するとは限りません。インテル^® Inspector は、競合とデッドロックを検出し、エラーが発生する前にデバッガーでブレークします。

簡単に解析可能 – 特殊なコンパイラーやビルドは必要はありません!
通常のデバッグもしくは最適化ビルドを使用

他のメモリーやスレッド解析ツールとは異なり、インテル^® Inspector は分析のための特殊なビルドや再コンパイルを必要としません。通常のデバッグもしくはリリースビルドを利用します (解析結果をソースコードにマップするためシンボルが必要です)。開発者のワークフローを速く、そして簡単にするだけでなく、信頼性と正確性を向上させます。

これは、インテル^® Inspector の動的なバイナリーのインストルメントにより可能となります。ほかの静的コンパイルベースのインストルメント技術は、動的に生成されたもしくはリンクされたコードでは困難です。インテル^® Inspector は、ソースコードのないサードパーティーから提供されるライブラリーを含むすべてのコードを検査できます。

メモリー/スレッド化エラーを検出

メモリーリーク、メモリー破壊および不正アクセスなどのエラーは、ツールなしでは特定が困難です。競合やデッドロックなどのスレッドエラーは、非決定論的で再現性が低いためさらに検出が困難です。インテル^® Inspector はエラーを検出して、決定論性のあるデバッグを可能にします。スレッドとメモリーエラーの詳細は、以下をチェックしてください。

動的インストルメント: 簡単で、信頼性が高く、正確

他のメモリーやスレッド解析ツールとは異なり、インテル^® Inspector は分析のため特殊なビルドおよび再コンパイルを必要としません。通常のデバッグもしくはリリースビルドを利用します (解析結果をソースコードにマップするためシンボルが必要です)。開発者のワークフローを速く、そして簡単にするだけでなく、信頼性と正確性を向上させます。他の静的コンパイルベースのインストルメント技術は、動的に生成されたもしくはリンクされたコードと競合します。インテル^® Inspector は、ソースコードのないサードパーティーから提供されるライブラリーを含むすべてのコードを検査できます。

C、C++ および Fortran アプリケーションのチェックとデバッグ

Fortran のレガシーコードを使用していますか? ソースコードのないライブラリーを使用していますか? 問題ありません。すべて動作します。動的インストルメントでは、ソースコードのないサードパーティーから提供されるライブラリーを含むすべてのコードの検査が可能です。

検査レベルを選択 – 高速に行うか、詳細を調査するか

最初のレベルの解析は、非常に低オーバーヘッドです。高速であるため、開発中に使用します。第 2 レベルは、時間がかかりますがより詳しい情報を取得できます。新しい機能を実装した際のチェックに向いています。第 3 レベルは、回帰テストとバグの検出に最適です。

デバッガー・ブレークポイントで簡単に診断

実行結果の情報を元に、再度実行した際にエラーが発生する直前でブレークポイントを設定します。エラーの直前でデバッガーを起動して解析が行えるため、問題が発生する前の状態を把握することができます。変数を調べて、問題を診断するため他のスレッドを見てください。Visual Studio*、GDB そして IDB デバッガーがサポートされます。プロジェクトの "Configure Analysis Type" で、"Enable debugger when problem detected" をチェックしてください。

メモリー使用量の増加を段階的に診断

スレッド実行中のメモリー使用量の増加をグラフィカルに表示。開発者はメモリー増加の原因を知ることができ、解決するのに役立つコールスタックとコードスニペット情報が提供されます。

ヒープの伸長、増分リークレポートの解析

アプリケーションを実行し続けると増加するメモリー利用が、何を引き起こしているか知るのは複雑です。ヒープ伸長解析は、この原因特定に役立ちます。特定の基準から解放されず、増え続けるヒープ割り当てのレポートを取得します。同様に、特定の基準から増加するリークレポートを取得できます。

ポーズ/レジュームは解析をスピードアップします

解析する範囲を限定することで解析をスピードアップします。問題の疑いがある実行でのみ解析を有効にします。インストルメントのオーバーヘッドは、コードセクション中の無関係な実行から引き起こされます。これは、エラーに到達するまで長い時間がかかる状況では、非常に強力な機能ですが、利用には十分注意してください。

誤認識されたエラーを抑制し、共有しましょう

問題とならない、もしくは誤認識されたエラーを検出した際は、抑制リストに加えることで、次回から調査の必要が無くなります。複数のリストがサポートされ、他のプロジェクトの開発者と共有できます。コード中の該当しないエラーの抑制を避けるため、プライベートな抑制リストを作成します。モジュール全体を抑制することで、収集時間を短縮できます。

チームでの協調

各エラーレポートには、ステート情報 (新規、確認済み、解決済み、未解決、回帰、問題なし、繰り越し) が含まれ、種別に分類し優先順位をつけるのに役立ちます。

フィルターでエラーリストを管理

特定ソースのエラーのみをチェックしますか? エラーリストをクリックするだけで、特定のエラーのみを表示できます。新しく見つかったエラーから、重要度の高いエラーのみを表示しますか? クリックするだけで表示できます。フィルター処理は、多くのカテゴリー向けに用意されています。重要度、問題のタイプ、ステート、モジュールなど、必要のない情報をフィルターで除き、重要なものだけに注目できます。

インテル^® Xeon Phi™ コプロセッサー製品向けのソフトウェアの検査

インテル^® Inspector は、インテル^® Xeon Phi™ コプロセッサーで実行中のアプリケーションを直接解析することはできませんが、インテル^® Xeon Phi™ コプロセッサー向けのソフトウェアを解析できます。ホスト上のマルチコア・プロセッサー上でアプリケーションを実行して、インテル^® Inspector で解析することで、インテル^® Xeon Phi™ コプロセッサーで実行した時のメモリーエラーやスレッド化エラーを検知できます。

解析範囲の制限

誤認識されたエラーを排除し、API を使用して分析対象としないメモリーを通知することで、解析をスピードアップします (例えば、同期データ構造体など)。

少ない偽陽性、優れたエラーメッセージ

インテル^® Inspector は、インテル^® TBB、インテル^® Cilk™ Plus そして OpenMP* の並列プログラミング・モデルのセマンティクスを解釈できます。これにより、作業時間を短縮できます。

ほかのツールよりも正確に偽陽性をレポートできます。
エラーに関しては、難解な内部ラベルなどではなく、ソースコードに基づいて解りやすく説明されます。

複数 OS (Windows* および Linux*): 同じユーザー・インターフェイス

Windows* と Linux* の両方で開発していますか? 双方の OS 環境で同じ解析ツールを簡単に利用したくはないですか? インテル^® Inspector は、Windows* と Linux* の両方で同じユーザー・インターフェイスを提供します。Windows* 環境では、スタンドアロンか Microsoft* Visual Studio* 統合環境で利用できます。

MPI アプリケーションのメモリーとスレッド化エラーを解析

インテル^® Inspector は、MPI アプリケーションのメモリーとスレッド化のエラーを検知できます。単一の共有メモリーシステムで初期解析を行うと、多くのエラーを特定でき、追加の解析をクラスター上で実行できます。解析結果は、ランクごとにソートされます。

ポインターチェッカー – 診断が困難な領域外アクセスを検知

Windows* ポインターチェッカー

Linux* ポインターチェッカー

ポインターチェッカーは、割り当てられた領域を超えるメモリーアクセスを検知するコンパイラー・ベースの診断です。ダングリング・ポインターやバッファー・オーバーフローなどを見つけます。例外が発生した場合、デバッガーへ移行してブレークすることで診断をスピードアップします。ポインターチェッカーを有効にして (/Qchecked-pointers – Windows*、-checked-pointers – Linux*) コンパイルし、コードを実行すると境界外メモリーアクセスが特定されレポートが生成されます。ポインターチェッカーには、インテル^® コンパイラーが必要です。

戻る

ドキュメント
関連ページ
関連製品

ドキュメント

本ページに、ドキュメント一覧が表示されない場合は、ご利用のブラウザの JavaScript を ON にしていただくか、こちらのドキュメント・ページをご覧ください。

戻る

仕様/動作環境

プロセッサー	インテル^® プロセッサー、インテル^® コプロセッサー、および互換プロセッサーでインテル^® 命令セットを含むアプリケーションを分析
オペレーティング・システム	Microsoft Windows* 10 Microsoft Windows Server* 2016 および 2019 Red Hat* Enterprise Linux* 7 および 8 CentOS* (上記の Red Hat* Enterprise Linux* バージョンと同等のバージョン) Fedora* 30、31、32 (pangox-compat パッケージがインストールされている必要あり) SUSE* Linux Enterprise Server* 12 および 15 Debian* 10 Ubuntu* 18.04、19.10、20.04 ※エンベデッド・エディションはサポートされていません。
開発ツールと環境	各プラットフォームの規格に準拠しているコンパイラー (Microsoft* コンパイラー、GNU* コンパイラー、インテル^® コンパイラーなど) と互換性があります。インテル^® C/C++ コンパイラー・クラシック 12.0 以上インテル^® (Visual) Fortran コンパイラー・クラシック 12.0 以上 (Windows) Microsoft Visual Studio 2017 Microsoft Visual Studio* 2019 インテル^® Fortran コンパイラー・クラシック 12.0 以上 (Linux) GNU C/C++ コンパイラー 3.4.6 以上 (Linux) GUI は、Windows と Linux* スタンドアロンで利用でき、Windows* では Microsoft* Visual Studio* の上記のバージョンに統合できます。特殊なコンパイラーやビルドの必要はありません。通常のデバッグもしくはリリースビルドのバイナリーを使用できます。
言語	C、C++、Fortran
並列プログラミング・モデル	インテル^® oneTBB Win32* スレッド (Windows) POSIX スレッド (Linux) OpenMP インテル^® C++ コンパイラー並列言語拡張インテル^® Cilk™ Plus (Windows) Microsoft PPL (インテル^® oneTBB を介して)
RAM	4GB
ディスク空き容量	350MB (すべての機能をインストールする場合)

最新の情報は、製品または評価版に同梱されているリリースノートを参照ください。

戻る

お知らせ

バージョン 2021 提供開始のご案内

2020年 12月 9日、インテル^® Inspector 2021 が同梱されるインテル^® oneAPI 2021 の販売を開始しました。

過去に製品をご購入いただき、現在有効なサポートサービスをお持ちのお客様は、すぐにバージョン 2021 を無料でダウンロードしてご利用いただけます。

バージョン 2020 提供開始のご案内

2019年 12月 18日、インテル^® Inspector 2020 が同梱されるインテル^® Parallel Studio XE 2020 の販売を開始しました。

過去に製品をご購入いただき、現在有効なサポートサービスをお持ちのお客様は、すぐにバージョン 2020 を無料でダウンロードしてご利用いただけます。

バージョン 2019 提供開始のご案内

2018年 9月 13日、インテル^® Inspector 2019 が同梱されるインテル^® Parallel Studio XE 2019 の販売を開始しました。

過去に製品をご購入いただき、現在有効なサポートサービスをお持ちのお客様は、すぐにバージョン 2019 を無料でダウンロードしてご利用いただけます。

インテル^® Inspector 単体製品の SSR ライセンス終息、ユーザー様向けインテル^® Parallel Studio XE への特別アップグレード提供開始

インテル社の方針により、2017年 9月 12日を以って、インテル^® Inspector 単体製品のサポートサービス更新用製品「SSR (期限内更新用)」および「SSR (期限切れ更新用)」の販売を終了させていただきました。

2017年 9月 13日から 2018年 3月 30日までの期間限定で、サポートサービスが有効なインテル^® Inspector 製品をお持ちのお客様限定で、インテル^® Inspector をコンポーネントとして含むインテル^® Parallel Studio XE Professional Edition 製品へ、大特価にてアップグレードいただけるお得な特別アップグレード製品を販売させていただいております。アップグレードの詳細は、こちらのページをご覧ください。

インテル^® Inspector 単体製品の新規ライセンス終息

インテル社の方針により、2014年 8月 26日 (火) を以って、インテル^® Inspector 単体製品の新規ライセンスの販売を終息しました。

FAQ

インテル^® Inspector を使用するには、プログラムを再コンパイルおよびリビルドする必要がありますか?

いいえ。インテル^® Inspector のメモリー/スレッド・チェック・ツールは、プログラムバイナリーを動的にインストルメントして解析します。プログラムを再コンパイルしたり、リビルドする必要はありません。エラーレポートがソースコードの場所に関連付けられるように、デバッグ情報を含むデバッグバイナリーまたはリリースバイナリーを使用することを推奨します。

インテル^® Inspector はプログラムのすべてのメモリー/スレッドエラーを検出できますか?

通常、最高レベルの解析で実行するとアプリケーションのコードパスに存在するメモリーエラーやスレッド化エラーはすべて検出されますが、インテル^® Inspector がプログラムのメモリー/スレッド化エラーをすべて検出できるという保証はありません。

インタラクティブ・デバッグ機能とは何ですか?

インテル^® Inspector のインタラクティブ・デバッグ機能を利用すると、標準デバッガーを使用して、インテル^® Inspector で検出されたメモリー問題やスレッド問題を調査することができます。Microsoft^® Visual Studio^® デバッガー (Windows^®) およびインテル^® デバッガーと GNU* デバッガー (Linux*) をサポートします。

スレッドチェックはプログラムの潜在的なエラーを検出できますか?

潜在的なエラーの範囲によります。スレッドチェック解析は動的で、実行されたコードのエラーのみ検出します。実行されないコードのエラーは検出しません。実行されたコードでは、スレッドチェックは、データ競合、クロススレッド・スタック・アクセス、潜在的なデッドロックのような潜在的なエラーを検出することができます。プログラムが正しい出力を生成している場合でもスレッドチェックがエラーを報告することがあるのはこのためです。

スレッドチェックはプログラム中のアトミック性の違反などの論理エラー (例えば、同じクリティカル・セクションにあるべき 2 つのメモリーアクセスが 2 つの異なるクリティカル・セクションにある) を検出しますか?

いいえ。現在の製品リリースのスレッドチェックは、アトミック性の違反などの論理エラーを検出しません。

並列プログラムでは、スレッド (またはメモリー) 解析は並列に実行されますか? つまり、解析は利用可能なマルチコア・ハードウェアを利用しますか?

はい。メモリーチェックとスレッドチェックはどちらも、ターゲットの並列プログラムで使用されている利用可能なコアまたはハードウェア・スレッドで解析を実行します。一般に、解析のオーバーヘッドは適切にスケールし、ターゲット・アプリケーションのスケーリング係数に似ています。

マルチコアマシンでスレッドチェックを実行する必要がありますか? 開発に単一プロセッサー/シングルコア・マシンを使用しています。この場合でもスレッドチェックを使用してコードの不具合を発見できますか?

インテル^® Inspector は、シングルコア・マシン上でもスレッドエラーを検出することができます。プログラムで複数のスレッドを使用していれば、マルチコアマシンでスレッドチェックを実行する必要はありません。プログラムが Windows^® または POSIX* スレッド API を明示的に使用してスレッドを作成している場合、単一プロセッサー/シングルコア・マシン上で複数のスレッドを作成しても問題ありません。プログラムがインテル^® TBB、OpenMP* プラグマ、インテル^® Cilk™ Plus、その他のマシンの利用可能なコア数に基づいてスレッドを作成するタスク/スレッド化モデルを使用している場合、スレッド化モデルを使用して複数のスレッドを作成する必要があります。もちろん、マルチコアマシンで実行するほうが、パフォーマンスは高くなります。

インテル® Inspector 2021

概要