このページの内容は最新ではありません。最新版の英語を参照するには、ここをクリックします。

SEI CERT-C をチェック (-cert-c)

CERT C ルールおよび推奨事項に対する違反のチェック

説明

このオプションは Bug Finder のみに影響します。

CERT^® C ルールおよび推奨事項に対する違反をチェックするかどうかを指定します。オプションの各値はチェックすべきコーディング規約のサブセットに対応します。

オプションの設定

以下のいずれかの方法を使用してオプションを設定します。

• Polyspace^® ユーザー インターフェイス (デスクトップ製品のみ): プロジェクト構成で [コーディング規約およびコード メトリクス] ノードを選択してから、このオプションの値を選択します。最初に有効にしなければならない他のオプションについては、依存関係を参照してください。

• Polyspace Platform ユーザー インターフェイス (デスクトップ製品のみ): このオプションは、プロジェクト構成には存在していません。チェッカーを有効にするには、オプション [カスタム チェッカー ファイルを使用] と [チェッカー アクティベーション ファイル] (-checkers-activation-file) を使用します。

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

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

このオプションは、コード内でチェックする CERT C ルールおよび推奨事項のサブセットを指定するために使用します。

解析後、[結果のリスト] ペインにコーディング規約違反がリストされます。[ソース] ペインでは、Polyspace はすべてのコーディング規約違反に対し、 シンボルを関連するキーワードまたは識別子に割り当てます。

設定

既定値: all

all-rules

CERT C ルールのみに対する違反をチェックします。

ルールと推奨事項の違いの説明については、CERT C Web サイトを参照してください。

 [all-rules] を使用する場合に Polyspace でチェックされる CERT-C ルールのリスト

CERT C: Rule ARR30-C

CERT C: Rule ARR32-C

CERT C: Rule ARR36-C

CERT C: Rule ARR37-C

CERT C: Rule ARR38-C

CERT C: Rule ARR39-C

CERT C: Rule CON30-C

CERT C: Rule CON31-C

CERT C: Rule CON32-C

CERT C: Rule CON33-C

CERT C: Rule CON35-C

CERT C: Rule CON36-C

CERT C: Rule CON37-C

CERT C: Rule CON40-C

CERT C: Rule CON41-C

CERT C: Rule CON43-C

CERT C: Rule DCL30-C

CERT C: Rule DCL31-C

CERT C: Rule DCL36-C

CERT C: Rule DCL37-C

CERT C: Rule DCL38-C

CERT C: Rule DCL39-C

CERT C: Rule DCL40-C

CERT C: Rule DCL41-C

CERT C: Rule ENV30-C

CERT C: Rule ENV31-C

CERT C: Rule ENV32-C

CERT C: Rule ENV33-C

CERT C: Rule ENV34-C

CERT C: Rule ERR30-C

CERT C: Rule ERR32-C

CERT C: Rule ERR33-C

CERT C: Rule ERR34-C

CERT C: Rule EXP30-C

CERT C: Rule EXP32-C

CERT C: Rule EXP33-C

CERT C: Rule EXP34-C

CERT C: Rule EXP35-C

CERT C: Rule EXP36-C

CERT C: Rule EXP37-C

CERT C: Rule EXP39-C

CERT C: Rule EXP40-C

CERT C: Rule EXP42-C

CERT C: Rule EXP43-C

CERT C: Rule EXP44-C

CERT C: Rule EXP45-C

CERT C: Rule EXP46-C

CERT C: Rule EXP47-C

CERT C: Rule FIO30-C

CERT C: Rule FIO32-C

CERT C: Rule FIO34-C

CERT C: Rule FIO37-C

CERT C: Rule FIO38-C

CERT C: Rule FIO39-C

CERT C: Rule FIO40-C

CERT C: Rule FIO41-C

CERT C: Rule FIO42-C

CERT C: Rule FIO44-C

CERT C: Rule FIO45-C

CERT C: Rule FIO46-C

CERT C: Rule FIO47-C

CERT C: Rule FLP30-C

CERT C: Rule FLP32-C

CERT C: Rule FLP34-C

CERT C: Rule FLP36-C

CERT C: Rule FLP37-C

CERT C: Rule INT30-C

CERT C: Rule INT31-C

CERT C: Rule INT32-C

CERT C: Rule INT33-C

CERT C: Rule INT34-C

CERT C: Rule INT35-C

CERT C: Rule INT36-C

CERT C: Rule MEM30-C

CERT C: Rule MEM31-C

CERT C: Rule MEM33-C

CERT C: Rule MEM34-C

CERT C: Rule MEM35-C

CERT C: Rule MEM36-C

CERT C: Rule MSC30-C

CERT C: Rule MSC32-C

CERT C: Rule MSC33-C

CERT C: Rule MSC37-C

CERT C: Rule MSC38-C

CERT C: Rule MSC39-C

CERT C: Rule MSC40-C

CERT C: Rule POS30-C

CERT C: Rule POS33-C (非推奨)

CERT C: Rule POS34-C

CERT C: Rule POS35-C

CERT C: Rule POS36-C

CERT C: Rule POS37-C

CERT C: Rule POS38-C

CERT C: Rule POS39-C

CERT C: Rule POS44-C

CERT C: Rule POS48-C

CERT C: Rule POS49-C

CERT C: Rule POS51-C

CERT C: Rule POS52-C

CERT C: Rule POS54-C

CERT C: Rule PRE30-C

CERT C: Rule PRE31-C

CERT C: Rule PRE32-C

CERT C: Rule SIG30-C

CERT C: Rule SIG31-C

CERT C: Rule SIG34-C

CERT C: Rule SIG35-C

CERT C: Rule STR30-C

CERT C: Rule STR31-C

CERT C: Rule STR32-C

CERT C: Rule STR34-C

CERT C: Rule STR37-C

CERT C: Rule STR38-C

CERT C: Rule WIN30-C

publish-2016

SEI CERT C コーディング規約の 2016 年版で定義されているように、CERT C ルールのみに対する違反をチェックします。

ルールと推奨事項の違いの説明については、CERT C Web サイトを参照してください。

 [publish-2016] を使用する場合に Polyspace でチェックされる CERT-C ルールのリスト

CERT C: Rule ARR30-C

CERT C: Rule ARR32-C

CERT C: Rule ARR36-C

CERT C: Rule ARR37-C

CERT C: Rule ARR38-C

CERT C: Rule ARR39-C

CERT C: Rule CON30-C

CERT C: Rule CON31-C

CERT C: Rule CON32-C

CERT C: Rule CON33-C

CERT C: Rule CON35-C

CERT C: Rule CON36-C

CERT C: Rule CON37-C

CERT C: Rule CON40-C

CERT C: Rule CON41-C

CERT C: Rule DCL30-C

CERT C: Rule DCL31-C

CERT C: Rule DCL36-C

CERT C: Rule DCL37-C

CERT C: Rule DCL38-C

CERT C: Rule DCL39-C

CERT C: Rule DCL40-C

CERT C: Rule DCL41-C

CERT C: Rule ENV30-C

CERT C: Rule ENV31-C

CERT C: Rule ENV32-C

CERT C: Rule ENV33-C

CERT C: Rule ENV34-C

CERT C: Rule ERR30-C

CERT C: Rule ERR32-C

CERT C: Rule ERR33-C

CERT C: Rule EXP30-C

CERT C: Rule EXP32-C

CERT C: Rule EXP33-C

CERT C: Rule EXP34-C

CERT C: Rule EXP35-C

CERT C: Rule EXP36-C

CERT C: Rule EXP37-C

CERT C: Rule EXP39-C

CERT C: Rule EXP40-C

CERT C: Rule EXP42-C

CERT C: Rule EXP43-C

CERT C: Rule EXP44-C

CERT C: Rule EXP45-C

CERT C: Rule EXP46-C

CERT C: Rule FIO30-C

CERT C: Rule FIO32-C

CERT C: Rule FIO34-C

CERT C: Rule FIO37-C

CERT C: Rule FIO38-C

CERT C: Rule FIO39-C

CERT C: Rule FIO40-C

CERT C: Rule FIO41-C

CERT C: Rule FIO42-C

CERT C: Rule FIO44-C

CERT C: Rule FIO45-C

CERT C: Rule FIO46-C

CERT C: Rule FIO47-C

CERT C: Rule FLP30-C

CERT C: Rule FLP32-C

CERT C: Rule FLP34-C

CERT C: Rule FLP36-C

CERT C: Rule FLP37-C

CERT C: Rule INT30-C

CERT C: Rule INT31-C

CERT C: Rule INT32-C

CERT C: Rule INT33-C

CERT C: Rule INT34-C

CERT C: Rule INT35-C

CERT C: Rule INT36-C

CERT C: Rule MEM30-C

CERT C: Rule MEM31-C

CERT C: Rule MEM33-C

CERT C: Rule MEM34-C

CERT C: Rule MEM35-C

CERT C: Rule MEM36-C

CERT C: Rule MSC30-C

CERT C: Rule MSC32-C

CERT C: Rule MSC33-C

CERT C: Rule MSC37-C

CERT C: Rule MSC38-C

CERT C: Rule MSC39-C

CERT C: Rule MSC40-C

CERT C: Rule PRE30-C

CERT C: Rule PRE31-C

CERT C: Rule PRE32-C

CERT C: Rule SIG30-C

CERT C: Rule SIG31-C

CERT C: Rule SIG34-C

CERT C: Rule SIG35-C

CERT C: Rule STR30-C

CERT C: Rule STR31-C

CERT C: Rule STR32-C

CERT C: Rule STR34-C

CERT C: Rule STR37-C

CERT C: Rule STR38-C

all

Polyspace でサポートされているすべての CERT C ルールおよび推奨事項に対する違反をチェックします。

CERT C ルールと推奨事項を参照してください。

from-file

このコーディング規約のチェッカーのカスタム選択が設定されている XML ファイルを指定します。構成ファイルを作成するには、 をクリックして、[チェッカーの選択] ウィンドウの右側のペインから、このコーディング規約に対してチェックするルールと推奨事項を選択します。ファイルを保存します。

既存の構成ファイルを使用または更新するには、[チェッカーの選択] ウィンドウで所定のフィールドにファイルへの絶対パスを入力するか、[参照] をクリックします。

オプションを [from-file] に設定する場合、[ファイルごとにチェッカーを設定] (-checkers-selection-file) を有効にします。

依存関係

• このオプションは、ソース コードの言語 (-lang)が [C] または [C-CPP] に設定されている場合にのみ使用できます。

  プロジェクトで C コードと C++ コードとが混在する場合、SEI CERT-C チェッカーが解析するのは .c ファイルのみです。

コマンド ライン情報

コマンド ラインでコマンド -cert-c を使用して、CERT C ルールおよび推奨事項の違反をチェックします。

パラメーター: -cert-c

値: all-rules | publish-2016 | all | from-file

例 (Bug Finder): polyspace-bug-finder -lang c -sources file_name -cert-c all-rules

例 (Bug Finder Server): polyspace-bug-finder-server -lang c -sources file_name -cert-c all-rules

または、チェッカー アクティベーション XML ファイルを使用して、すべてのまたは特定の CERT C ルールおよび推奨事項を有効にします。チェッカー アクティベーション ファイル (-checkers-activation-file) を参照してください。

参考

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

トピック

• Polyspace 解析オプションの指定
• コーディング規約違反のチェックおよびレビュー
• CERT C ルールと推奨事項