インテル® C++ コンパイラー 15.0 ユーザー・リファレンス・ガイド

スタティック解析の使用

スタティック解析は古い機能 (非推奨) です。

スタティック解析は、OS X* システムではサポートされていません。

Microsoft* Visual Studio* IDE でのスタティック解析の使用

Microsoft* Visual Studio* でスタティック解析用にアプリケーションをビルドするには、[Build for Intel Static Analysis (インテル・スタティック解析用にビルド)] メニューオプションを使用します。 このオプションは、Visual Studio* IDE でスタティック解析用に新しいビルド構成を作成し、必要なプロパティーを設定します。

[Build for Intel Static Analysis (インテル・スタティック解析用にビルド)] メニューオプションには複数のメニュー項目があります。

これらのメニュー項目は、プロジェクトやソリューションをビルドできるすべてのメニューに表示されます。これには、[Build (ビルド)] メニュー、選択されたプロジェクトやソリューションで右クリックすると表示されるポップアップ・メニューも含まれます。

このメニューオプションを初めて使用する場合、ダイアログボックスが表示され、セットアップの手順が示されます。

インテル® Visual Fortran ソリューション用のスタティック解析の使用

インテル® Visual Fortran ソリューションおよびプロジェクトでスタティック解析を実行するには、次の操作を行います。

  1. [Build for Intel Static Analysis (インテル・スタティック解析用にビルド)] を選択します。
  2. [Create configuration (構成を作成)] ダイアログボックスで次のいずれかを選択します。
    • [Copy configuration settings from (構成設定のコピー元)]: コピーする構成設定元を指定します。
    • [Level of Static Analysis (スタティック解析のレベル)]: 解析のレベルを選択します。
    • [Additional Options(追加のオプション)]: システム・インクルード・ファイルを解析する場合は、[Analyze Included Files (インクルード・ファイルの解析)] を選択します。
  3. [Build for Static Analysis after creating configuration (構成を作成後にスタティック解析用にビルド)] チェックボックスはオンのままにします。 「Intel_SSA」という新しい構成が作成され、スタティック解析用に選択されたプロジェクトがビルドされます。 (このチェックボックスをオフにすると、スタティック解析の設定だけ行われ、ビルドは行われません。)

解析結果は、自動的にインテル® Inspector ユーザー・インターフェイスで開きます。

スタティック解析に関連する Microsoft* Visual Studio* IDE のプロパティー・ページはいくつかあります。Intel_SSA 構成のプロパティーを変更することで、スタティック解析のオプションを変更できます。 これを行うには、次のプロパティー・ページを使用します。

コマンドラインからのスタティック解析の使用

コマンドラインからビルドを行う場合は、新しいビルド構成を作成するか、または既存のビルド構成やターゲットとは異なるターゲットを作成する必要があります。いったんこれを行ったら、コマンドライン・オプションを追加して、スタティック解析を有効にできます。各コンパイルとリンク段階でスタティック解析を要求するオプションを指定する必要があります。次の表は、スタティック解析オプションをまとめたものです。

オプション (Windows* および Linux* 構文)

結果

[Q]diag-enable[:]sc{[1|2|3]}

スタティック解析を有効にします。数字は、レポートする診断レベル (1= クリティカル・エラーのみ、2=すべてのエラーと警告、および 3=重要度に関係なくすべての診断) を指定します。

[Q]diag-enable[:] sc--{full|concise|precise}

スタティック解析を有効にし、解析モードを決定します。

[Q]diag-disable[:] sc

スタティック解析を無効にします。

[Q]diag-enable[:]sc-include

インクルード・ファイルとソースファイルを解析します。デフォルトでは、インクルード・ファイルの明らかなエラーはレポートされません。

[Q]diag-enable[:] sc-single-file

各ファイルを個別に処理し、通常のプログラム全体の解析は行いません。大規模なプログラムでメモリーの使用と解析時間を抑えることができますが、検出される実際のエラーは少なくなります。

[Q]diag-sc-dir[:] dir

診断結果を指定されたディレクトリーに配置します。このオプションが指定されていない場合、結果は現在の作業ディレクトリーに配置されます。各実行で "r@@@sc" という形式の名前の新しいサブディレクトリーに結果が作成されます。"@@@" は次に利用可能な番号 (001、002、...) に置き換えられます。

このオプションでは、コンパイラー・オプションも指定してスタティック解析を有効にする必要があります。

[Q]diag-enable[:] sc-enums

C++ プログラムで列挙型の変数を、関連する列挙リテラルと等しい既知の値として扱うようにスタティック解析に指示します。デフォルトでは、スタティック解析は不明な列挙型の変数を不明な整数値として扱います。このオプションを有効にすると、より多くのエラーが検出されますが、誤検出の可能性が高まります。

プロジェクトをコマンドラインでビルドしなければならない場合でも、プロジェクトを Visual Studio* に統合することが可能です。これを行うには、Visual Studio* で "makefile プロジェクト" を作成します。この場合、Visual Studio* は選択したコマンドラインを起動してプロジェクトをビルドします。makefile プロジェクトを使用する場合は、/Qdiag-sc-dir オプションをリンク段階に追加して、出力ファイルをプロジェクト・ルート・ディレクトリーの "My Inspector XE Results-<product name>" フォルダーに配置します。 これにより、インテル® Inspector は、解析結果を認識し、Visual Studio* の [ソリューション エクスプローラ] に表示します。 Visual Studio* を使わない場合には、スタンドアロン形式のインテル® Inspector GUI を使用します。この場合、解析結果はどこに配置しても構いません。

OpenMP* を有効にするには、[Q]openmp オプションを指定します。 プログラムで OpenMP* を使用している場合はこのオプションは必須です。

スタティック解析使用時の注意事項


このヘルプトピックについてのフィードバックを送信