次に対する結果を生成しない (-do-not-generate-results-for)

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

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

説明

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

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

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

オプションの設定

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

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

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

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

たとえば、既定では、ソース ファイルと同じフォルダーにあるヘッダー ファイルについての結果が生成されます。これらのヘッダーでの調査結果をレビューしない場合、このオプションの既定値を変更します。

Polyspace as You Code での既定の動作では、非ソース フォルダーのヘッダーも解析されないことに注意してください。このオプションを使用することで、解析対象外ファイルのスコープを、すべてのヘッダーまたはヘッダーの別のサブセットにまで拡大できます。Polyspace as You Code の解析範囲 (Polyspace Access)も参照してください。

設定

既定値: include-folders

include-folders

インクルード フォルダー (およびそのサブフォルダー) 内のヘッダー ファイルに関する結果が生成されません。

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

インクルード フォルダーがソース フォルダーのサブフォルダーである場合、オプション値 [include-folders] を指定していても、そのインクルード フォルダーに含まれているファイルの結果が生成されます。この場合、オプション値 [custom] を使用して、無視するインクルード フォルダーを明示的に指定します。

all-headers

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

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

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

custom

指定したファイルの結果が生成されません。フォルダー名を入力すると、そのフォルダー (およびそのサブフォルダー) 内のファイルからの結果が抑制されます。

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

ヒント

1. このオプションは、オプション [ソースおよび次に対する結果を生成する] (-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] を選択すると、オプション [ソースおよび次に対する結果を生成する] で指定した項目に関係なく、すべてのヘッダー ファイルの結果が非表示になります。

3. 欠陥またはコーディング ルール違反が 2 つのファイルに関連している場合は、そのいずれかのファイルの結果を生成しなくても、欠陥またはルール違反は表示されます。たとえば、ファイル myFile.cpp および myFile.h で名前の見た目が似ている 2 つの変数を定義した場合、myFile.h の結果を生成しなくても、MISRA™ C++ ルール 2-10-1 に対する違反が報告されます。MISRA C++ ルール 2-10-1 によると、異なる識別子は文字列として明確に区別されなければなりません。

   次の結果は複数のファイルに関連する可能性があります。

    MISRA C:2004 ルール

   • MISRA C™:2004 Rule 5.1 — Identifiers (internal and external) shall not rely on the significance of more than 31 characters.

   • MISRA C:2004 Rule 5.2 — Identifiers in an inner scope shall not use the same name as an identifier in an outer scope, and therefore hide that identifier.

   • MISRA C:2004 Rule 8.8 — An external object or function shall be declared in one file and only one file.

   • MISRA C:2004 Rule 8.9 — An identifier with external linkage shall have exactly one external definition.

    MISRA C:2012 命令およびルール

   • MISRA C:2012 Directive 4.5 — Identifiers in the same name space with overlapping visibility should be typographically unambiguous.

   • MISRA C:2012 Rule 5.2 — Identifiers declared in the same scope and name space shall be distinct.

   • MISRA C:2012 Rule 5.3 — An identifier declared in an inner scope shall not hide an identifier declared in an outer scope.

   • MISRA C:2012 Rule 5.4 — Macro identifiers shall be distinct.

   • MISRA C:2012 Rule 5.5 — Identifiers shall be distinct from macro names.

   • MISRA C:2012 Rule 8.5 — An external object or function shall be declared once in one and only one file.

   • MISRA C:2012 Rule 8.6 — An identifier with external linkage shall have exactly one external definition.

    MISRA C++ ルール

   • MISRA C++ Rule 2-10-1 — Different identifiers shall be typographically unambiguous.

   • MISRA C++ Rule 2-10-2 — Identifiers declared in an inner scope shall not hide an identifier declared in an outer scope.

   • MISRA C++ Rule 3-2-2 — The One Definition Rule shall not be violated.

   • MISRA C++ Rule 3-2-3 — A type, object or function that is used in multiple translation units shall be declared in one and only one file.

   • MISRA C++ Rule 3-2-4 — An identifier with external linkage shall have exactly one definition.

   • MISRA C++ Rule 7-5-4 — Functions should not call themselves, either directly or indirectly.

   • MISRA C++ Rule 15-4-1 — If a function is declared with an exception-specification, then all declarations of the same function (in other translation units) shall be declared with the same set of type-ids.

    JSF C++ ルール

   • JSF^® C++ ルール 46 — ユーザー指定の (内部および外部) 識別子は、64 文字を超える有意性に依存してはなりません。

   • JSF C++ ルール 48 — 識別子には、大文字と小文字の区別の混在、アンダースコア文字の有無、文字 O と数字 0 または文字 D の入れ替え、文字 I と数字 1 または文字 l の入れ替え、文字 S と数字 5 の入れ替え、文字 Z と数字 2 の入れ替え、文字 n と文字 h の入れ替えによる区別があってはなりません。

   • JSF C++ ルール 137 — ファイル スコープのすべての宣言は、できるだけ静的であることが必要です。

   • JSF C++ ルール 139 — 外部オブジェクトは、複数のファイルで宣言されてはなりません。

    Polyspace Bug Finder の欠陥

   • 変数のシャドウイング — 入れ子にされたスコープで変数が同じ名前の別の変数を隠す。

   • 宣言の不一致 — 関数または変数の宣言の間の不一致。

4. グローバル変数を宣言後一切使用していない場合、Code Prover の結果に未使用のグローバル変数として表示されます。ただし、検証結果を生成しないファイルで宣言が行われている場合、未使用の変数は検証結果に表示されません。

5. 結果 (コーディング ルール違反または Bug Finder の欠陥) がマクロ内部にある場合、Polyspace は通常マクロの出現箇所ではなく、マクロ定義の結果を表示して、その結果を一度だけレビューできるようにします。マクロが非表示ファイルで使用されている場合でも、"非表示でないファイルでマクロ定義が行われている場合"、結果は依然としてマクロ定義に表示されます。

コマンド ライン情報

パラメーター: -do-not-generate-results-for

値: all-headers | include-folders | custom=file1[,file2[,...]] | custom=folder1[,folder2[,...]]

例 (Bug Finder): polyspace-bug-finder -lang c -sources file_name -misra2 required-rules -do-not-generate-results-for custom="C:\usr\include"

例 (Code Prover): polyspace-code-prover -lang c -sources file_name -misra2 required-rules -do-not-generate-results-for custom="C:\usr\include"

例 (Bug Finder Server): polyspace-bug-finder-server -lang c -sources file_name -misra2 required-rules -do-not-generate-results-for custom="C:\usr\include"

例 (Code Prover Server): polyspace-code-prover-server -lang c -sources file_name -misra2 required-rules -do-not-generate-results-for custom="C:\usr\include"

バージョン履歴

R2016a で導入

R2024a: Code Prover から削除済み

Code Prover 解析でオプション -do-not-generate-results-for を使用すると、Polyspace が警告を出します。解析では、このオプションが無視されます。コーディング ルール違反をチェックするワークフローは、既に Code Prover から削除されています。コーディング ルール違反のチェックには、Bug Finder を使用してください。たとえば、コマンド ラインで次のコマンドを使用しているとします。

polyspace-code-prover -lang c -sources file_name -misra2 required-rules -do-not-generate-results-for custom="C:\usr\include"

上記のコマンドを次のコマンドで置き換えます。

polyspace-bug-finder -lang c -sources file_name -misra2 required-rules -do-not-generate-results-for custom="C:\usr\include"

コーディング規約およびコード メトリクスをチェックする Code Prover ワークフローの Bug Finder への移行を参照してください。

R2022a: Code Prover から削除予定

Code Prover 解析でオプション -do-not-generate-results-for を使用すると、Polyspace が警告を出します。コーディング ルール違反をチェックするワークフローは、将来のリリースで Code Prover から削除される予定です。コーディング ルール違反のチェックには、Bug Finder を使用してください。たとえば、コマンド ラインで次のコマンドを使用しているとします。

polyspace-code-prover -lang c -sources file_name -misra2 required-rules -do-not-generate-results-for custom="C:\usr\include"

上記のコマンドを次のコマンドで置き換えます。

polyspace-bug-finder -lang c -sources file_name -misra2 required-rules -do-not-generate-results-for custom="C:\usr\include"

コーディング規約およびコード メトリクスをチェックする Code Prover ワークフローの Bug Finder への移行を参照してください。

R2021b: Code Prover から削除予定

Code Prover 解析での -do-not-generate-results-for の使用は推奨されません。コーディング ルール違反のチェックには、Bug Finder を使用してください。

参考

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

トピック

• Polyspace 解析オプションの指定
• コーディング規約およびコード メトリクスをチェックする Code Prover ワークフローの Bug Finder への移行