ソースおよび次に対する結果を生成する (-generate-results-for)

(削除済み) 解析結果が必要なファイルの指定

コーディング ルールとコード メトリクスにのみ適用されるこのオプションは、既に Code Prover から削除されています。代わりに、Bug Finder の [ソースおよび次に対する結果を生成する] (-generate-results-for) を使用してください。詳細については、バージョン履歴を参照してください。

説明

解析結果が必要なファイルを指定します。

既定で、ソース ファイルに関する結果と、ソース ファイルと同じフォルダー内のヘッダー ファイルに関する結果が表示されます。このオプションを使用して、他のヘッダー ファイル内の結果を表示できます。オプション [次に対する結果を生成しない] (-do-not-generate-results-for) を使用して、フォルダー全体を抑制した場合は、このオプションを使用して、一部のサブフォルダーまたはそれらのフォルダー内のファイルを抑制解除できます。

このオプションは、コーディング ルール違反とコード メトリクスにのみ適用されます。ソース ファイルとヘッダー ファイルの Code Prover 実行時チェックを非表示にすることはできません。

オプションの設定

ユーザー インターフェイス (デスクトップ製品のみ): プロジェクト構成では、このオプションは [入力およびスタブ] ノードにあります。

コマンド ラインとオプション ファイル: オプション -generate-results-for を使用します。コマンド ライン情報を参照してください。

このオプションを使用する理由

最も関連性の高いヘッダー ファイルの結果を確認するには、このオプションを使用します。

たとえば、既定では、ソース ファイルと同じフォルダーにあるヘッダー ファイルについての結果が生成されます。ほとんどの場合、それ以外のヘッダー ファイルはサードパーティ ライブラリに属しています。正確な解析にはこれらのヘッダー ファイルが必要でも、これらのヘッダー ファイルでの調査結果をレビューすることは重要ではありません。そのため、既定では、それらのヘッダーに関する結果は生成されません。サードパーティ ライブラリに属する特定のヘッダーに "関心がある" 場合は、このオプションの既定値を変更します。

Polyspace as You Code では、ヘッダー #include-d でソース ファイルによる結果を確認することは "一切" できないことに注意してください。既定の動作では、ソース ファイルと同じフォルダー (またはサブフォルダー) 内のヘッダーが解析で考慮されますが、ヘッダーで検出された結果は非表示にされます。このオプションは、解析で考慮されるヘッダーのスコープを拡大する目的でのみ使用できます。Polyspace as You Code の解析範囲 (Polyspace Access)も参照してください。

設定

既定値: source-headers

source-headers

ソース ファイルの結果と、ソース ファイルと同じフォルダーまたはソース ファイル フォルダーのサブフォルダーにあるヘッダー ファイルの結果が表示されます。

ソース ファイルは、Polyspace® プロジェクトの Source フォルダーに追加する (または、コマンド ラインで引数 -sources に指定する) ファイルです。

all-headers

ソース ファイルとすべてのヘッダー ファイルの結果が表示されます。ヘッダー ファイルは、ソース ファイルと同じフォルダー、ソース ファイル フォルダーのサブフォルダー、インクルード フォルダーのいずれかにあります。

ソース ファイルは、Polyspace プロジェクトの Source フォルダーに追加する (または、コマンド ラインで引数 -sources に指定する) ファイルです。

インクルード フォルダーは、Polyspace プロジェクトの Include フォルダーに追加する (または、コマンド ラインで引数 -I に指定する) フォルダーです。

custom

ソース ファイルと指定したファイルの結果が表示されます。フォルダー名を入力すると、そのフォルダー (およびそのサブフォルダー) 内のヘッダー ファイルに関する結果が表示されます。

をクリックしてフィールドを追加します。ファイル名またはフォルダー名を入力します。

ヒント

  1. このオプションは、オプション [次に対する結果を生成しない] (-do-not-generate-results-for) の適切な値と組み合わせて使用します。

    [custom] を選択した際に、2 つのオプションの値が競合している場合は、より具体的な値によって結果の表示が決まります。たとえば、以下の例では、オプション [ソースおよび次に対する結果を生成する] の値の方が具体的です。

    ソースおよび次に対する結果を生成する次に対する結果を生成しない最終結果

    custom:

    C:\Includes\Custom_Library\

    custom:

    C:\Includes

    		C:\Includes\Custom_Library\ とそのサブフォルダー内のヘッダー ファイルに関する結果は表示されますが、C:\Includes 内のその他のヘッダー ファイルに関する結果は生成されません。

    custom:

    C:\Includes\my_header.h

    custom:

    C:\Includes\

    		C:\Includes\ にあるヘッダー ファイル my_header.h の結果は表示されますが、C:\Includes\ とそのサブフォルダーにあるその他のヘッダー ファイルの結果は生成されません。

    これら 2 つのオプションを組み合わせて使用すると、特定のフォルダーにあるすべてのファイルの結果を非表示にしながら、これらのフォルダーにある特定のファイルの結果を表示することができます。

  2. このオプションで [all-headers] を選択すると、オプション [次に対する結果を生成しない] で指定した項目に関係なく、すべてのヘッダー ファイルの結果が表示されます。

コマンド ライン情報

パラメーター: -generate-results-for
値: source-headers | all-headers | custom=file1[,file2[,...]] | custom=folder1[,folder2[,...]]
例 (Bug Finder): polyspace-bug-finder -lang c -sources file_name -misra2 required-rules -generate-results-for custom="C:\usr\include"
例 (Code Prover): polyspace-code-prover -lang c -sources file_name -misra2 required-rules -generate-results-for custom="C:\usr\include"
例 (Bug Finder Server): polyspace-bug-finder-server -lang c -sources file_name -misra2 required-rules -generate-results-for custom="C:\usr\include"
例 (Code Prover Server): polyspace-code-prover-server -lang c -sources file_name -misra2 required-rules -generate-results-for custom="C:\usr\include"

バージョン履歴

R2016a で導入

すべて展開する

参考

トピック