Kwcheck

kwcheck は、IDE プラグイン形式では Klocwork によってサポートされていない IDE およびテキストエディターを使用する、C/C++、C# および Java デベロッパー向けのデスクトップ解析ツールです。方法については、kwcheck for C/C++ をお使いになる前におよび kwcheck for Java をお使いになる前にを参照してください。

ベースプロジェクトまたはそのいずれかのストリームに接続しているときに、ローカル解析を実行すると、プロジェクトのベースプロジェクトとそのすべてのストリームで、すべての欠陥が同期されます。また、欠陥を引用すると、ベースプロジェクトとそのすべてのストリームにローカルに適用されます。

一般的な使用方法

サブコマンドは常に、コマンドラインの kwcheck コマンドの直後に置きます。

kwcheck <subcommand> [<options>]

kwcheck サブコマンドで引数ファイルを使用できます。引数ファイルを作成して、コマンドライン引数を指定することができます。各引数は、独立した行に指定する必要があります。引数ファイルにマルチバイト文字が含まれる場合、ファイルは UTF-8 でエンコードされている必要があります。使用方法は以下のとおりです。

kwcheck <subcommand> @<arguments-file> 

kwcheck create

デスクトッププロジェクト用のローカルプロジェクトおよびプロジェクト設定ディレクトリを作成します。新規作成されるプロジェクトには、解析されるまで、またはサーバープロジェクトと同期化されるまで、データは含まれません。

使用方法: コネクテッドデスクトップ

kwcheck create --url http://<klocwork_server_host>:<klocwork_server_port>/<project> [-pd <local_project_dir>] [-sd <local_settings_dir>]

例

kwcheck create --url http://acme:8074/bigproject

使用方法: スタンドアロンデスクトップ

kwcheck create [--license-host <host_name>] [--license-port <port_number>] [-pd <local_project_dir>] [-sd <local_settings_dir>]

詳細

デフォルトでは、ローカルプロジェクトおよび Klocwork プロジェクト設定ディレクトリは作業ディレクトリに作成され、.kwlp および .kwps の名前が付けられます。-pd と -sd オプションを使用すると、これらのディレクトリに独自の名前と場所を指定することができます。ただし、デフォルトの名前と場所を使用すると、kwcheck list で解析またはフィルターの範囲をプロジェクト全体ではなく現在のサブディレクトリに制限することができます。

• .kwlp は、一時作業ファイルと build specification (ビルドスペック) ファイルを保存します。
• .kwps は、build specification (ビルドスペック) テンプレート (該当する場合) と構成ファイルを保存します

解析の結果と設定を削除するには、.kwlp ディレクトリを削除し、kwcheck create を再度実行します。

オプション

kwcheck disable

指定されたチェッカーを無効にします。ローカル構成を変更するパーミッションが必要です。チェッカーを有効または無効にすると、ユーザープロファイル (.pconf.xml) と呼ばれるファイルが作成され、デフォルト以外の設定がそれに保存されます。kwcheck export でこのファイルをエクスポートして、他のユーザーと共有することができます。Configuration Editor でチェッカーを無効にすることもできます。

使用方法

kwcheck disable <ISSUE.CODE1> <ISSUE.CODE2> [...]

例

kwcheck disable CL.MLK CWARN.SIGNEDBIT

詳細

指摘コードをスペースで区切ります。指摘コードには大文字を使用する必要があります。ヘッダー解析チェッカーを無効にしても、kwcheck や Klocwork Desktop には影響がないことに注意してください。

オプション

kwcheck discard

指定された構成ファイルをプロジェクトから削除します。ローカル構成を変更するパーミッションが必要です。

使用方法

kwcheck discard [options] <config_file>

例

kwcheck discard user_metrics.mconf

詳細

削除できる構成ファイルのタイプは、次のとおりです。

• build specification (ビルドスペック) (buildspec.txt)
• build specification template (ビルドスペックテンプレート) (.tpl)
• ユーザープロファイル (.pconf.xml)
• knowledge base (ナレッジベース) (.kb (C/C++ の場合) または .jkb (Java の場合))
• メトリックしきい値 (.mconf)
• マクロオーバーライドファイル (kw_override.h)

ユーザープロファイルが削除されると、Klocwork はデフォルトのチェッカー設定に戻ります。

オプション

kwcheck enable

指定されたチェッカーを有効にします。ローカル構成を変更するパーミッションが必要です。チェッカーを有効または無効にすると、ユーザープロファイル (.pconf.xml) と呼ばれるファイルが作成され、デフォルト以外の設定がそれに保存されます。kwcheck export でこのファイルをエクスポートして、他のユーザーと共有することができます。Configuration Editor でチェッカーを有効にすることもできます。

使用方法

kwcheck enable [options] <ISSUE.CODE1> <ISSUE.CODE2> [...]

例

kwcheck enable CL.MLK CWARN.SIGNEDBIT

詳細

指摘コードをスペースで区切ります。指摘コードには大文字を使用する必要があります。

オプション

kwcheck export

指定された構成ファイルをプロジェクトからエクスポートし、他のユーザーと共有できるようにします。ローカル構成を変更するパーミッションが必要です。connected desktop (コネクテッドデスクトップ) を使用すると、構成設定はすべてサーバーからデスクトップにプッシュされます。ローカル構成を変更するパーミッションがある場合、ローカル設定をエクスポートして他のユーザーがそれをインポートできるようにすることが可能です。ローカル設定が優先されます。

使用方法

kwcheck export [options] <config_file>

例

kwcheck export user_metrics.mconf -o /shared/jlee_metrics.mconf

詳細

次の構成ファイルをエクスポートすることができます。

• ユーザープロファイル (.pconf.)
• knowledge base (ナレッジベース) (.kb (C/C++ の場合)、.jkb (Java の場合))
• メトリックしきい値 (.mconf)
• マクロオーバーライドファイル (kw_override.h)

オプション

kwcheck import

指定された構成ファイルをローカルプロジェクトにインポートします。ローカル構成を変更するパーミッションが必要です。connected desktop (コネクテッドデスクトップ) を使用すると、構成設定はすべてサーバーからデスクトップにプッシュされます。ローカル構成を変更するパーミッションがある場合、ローカル設定をエクスポートして他のユーザーがそれをインポートできるようにすることが可能です。ローカル設定が優先されます。

使用方法

kwcheck import [options] <file>

例

kwcheck import /shared/jlee_metrics.mconf

詳細

knowledge base (ナレッジベース) を除き、デスクトッププロジェクトに含めることができるのは、次のファイルタイプについてそれぞれ 1 つずつだけです。

拡張子がデフォルト以外のファイルをインポートするには、--type オプションを指定します。

指摘の除外

特定の制約に関する特定の指摘タイプまたはすべての指摘タイプをフィルター処理するための、外部構成ファイルを指定できます。フィルター処理するマクロの直接名を指定する必要があります。正規表現を使用してマクロ名を指定することはできません。詳細については、指摘の除外を参照してください。

オプション

kwcheck info

ローカルプロジェクト設定を表示します。

使用方法

kwcheck info [options] 

例

kwcheck info -pd new_project

詳細

表示される設定は、次のとおりです。

• status.permission: 指摘ステータスを変更するときに使用できるステータス。*\:* は、報告された指摘のステータスを任意のステータスに変更できる、または任意のステータスから変更できることを意味します。
• klocwork.host: 接続されたプロジェクトのみ。
• klocwork.project: 接続されたプロジェクトのみ。
• license.host: すべてのプロジェクトについて、接続されているかどうか。
• license.port: すべてのプロジェクトについて、接続されているかどうか。
• useconf.permission: チェッカーの有効/無効の切り替えなど、ローカル構成を変更するパーミッションがあるかどうか。

オプション

kwcheck list

指摘番号、指摘コード、ステータス、重要度、およびファイルで指摘リストをフィルタリングします。

使用方法

kwcheck list [options] [<file_1>] [<file_2>] [...] 

例

kwcheck list --id 4-9,16-22,77 --issue abr,abv.stack foo.c foo2.cpp

詳細

ファイルはスペースで区切る必要があるのに対し、ステータスなどのフィルタリングオプションは、カンマで区切る必要があります。重要度または指摘 ID の範囲は、ハイフンで表現します。

デフォルトでは、kwcheck は次のような指摘を表示します。

• 検知 (Analyze) と要修正 (Fix) ステータスにある
• すべての重要度の指摘
• プロジェクトまたはサブディレクトリのすべてのソースファイル内の、
• 原点が「ローカル」

.kwlp があるディレクトリから kwcheck list を実行すると、プロジェクト全体で検出された指摘が一覧表示されます。ローカルプロジェクトディレクトリが、デフォルト名 (.kwlp) を持ち、ソースツリーにある場合、プロジェクト全体ではなく現在のサブディレクトリ内の指摘をフィルタリングすることができます。目的のサブディレクトリから kwcheck list を実行するだけです。所定ディレクトリ外のヘッダーファイル内の指摘は、一覧表示されません。

ストリームを含むプロジェクトで kwcheck list を実行すると、次のように、いくつかの追加フラグが出力に表示されます。

JSON:

"inConnected": true/false、

"inOtherStreams": true/false、

XML:

<inOtherStreams>true/false</inOtherStreams>

<inConnected>true/false</inConnected>

inConnected は、接続されたストリームまたはプロジェクトに指摘が直接存在し、それが "Fixed" 状態でない場合に true になります。inOtherStreams は、接続されたストリームを除くファミリーツリー内のいずれかのストリームに指摘が存在する場合に true になります。どちらのフラグも true になる可能性があります (たとえば、指摘は接続されたストリームと追加ストリームの両方に存在します)。

フィルターオプション

その他のオプション

kwcheck list-conf

ローカルプロジェクトで使用される構成ファイルをリストします。

使用方法

kwcheck list-conf

例

kwcheck list-conf -pd my_project

説明

サポートされている構成ファイル:

• build specification (ビルドスペック) (buildspec.txt)
• build specification template (ビルドスペックテンプレート) (.tpl)
• ユーザープロファイル (.pconf.xml)
• knowledge base (ナレッジベース) (.kb (C/C++ の場合) または .jkb (Java の場合))
• メトリックしきい値 (.mconf)
• マクロオーバーライドファイル (kw_override.h)

オプション

kwcheck list-projects

Klocwork サーバー上のプロジェクトをリストします。

使用方法

kwcheck list-projects

例

kwcheck list-projects --url http://server1.acme.com:8080

オプション

kwcheck list-statuses

検出された指摘が取り得るステータスをリストします。

使用方法

kwcheck list-statuses 

kwcheck list-vars

kwcheck set-var を使用して設定された build specification template (ビルドスペックテンプレート) 内の変数をリストします。

使用方法

kwcheck list-vars [options]

オプション

kwcheck remove-var

build specification template (ビルドスペックテンプレート) に対して設定された変数を削除します。

使用方法

kwcheck remove-var [options] <var1> [var2] [...]

オプション

kwcheck run

プロジェクト、サブディレクトリ、またはファイル上で解析を実行します。

使用方法

kwcheck run [options]

例

kwcheck run --issue ABR,MLK.MUST --severity 1-3 -F detailed --report project.txt foo.c foo2.cpp

詳細

ファイルはスペースで区切る必要があるのに対し、ステータスなどのフィルタリングオプションは、カンマで区切る必要があります。重要度または指摘 ID の範囲は、ハイフンで表現します。.kwlp があるディレクトリから kwcheck run を実行すると、プロジェクトのソースファイルすべてが解析されます。C/C++ プロジェクトの場合、ローカルプロジェクトディレクトリが、デフォルト名 (.kwlp) を持ち、ソースツリーにある場合、解析のコンテキストを現在のサブディレクトリに制限することができます。そのサブディレクトリ (および子ディレクトリ) にあるファイルが解析されます。Java プロジェクトの場合、個別のファイルを解析する Klocwork は推奨できません。これは、解析範囲の制限によって結果が不正確になることがあるからです。

オプション

kwcheck set

ローカルプロジェクト設定を変更します。

使用方法

kwcheck set [options] <property_name>=<property_value> [...]

例

kwcheck set klocwork.host=acmedev klocwork.port=1108

説明

取り得るプロパティ/値ペア:

オプション

kwcheck set-status

指摘ステータスを変更し、コメントを追加します。

使用方法

kwcheck set-status [options] <issue_ID> [<issue_ID> <issue_ID>-<issue_ID> [...]

例

kwcheck set-status 22 7 30-32 --status fix -c "top priority"

説明

複数の指摘 ID はスペースで区切るか、ハイフンで範囲を表現します。

オプション

kwcheck set-var

build specification template (ビルドスペックテンプレート) 内の変数をローカルプロジェクトのローカルパスにマッピングします。1 つ以上の変数を定義する必要があることを示すエラーメッセージが表示されたら、kwcheck set-var を使用して変数をマッピングするだけで十分です。

使用方法

kwcheck set-var [options] <var1>=<pathname> [<var2>=<pathname>] [...]

例

kwcheck set-var SCROOT=/builds/nightly/foosystem

オプション

kwcheck sync

結果とステータス変更をサーバープロジェクトに送信し、サーバープロジェクト解析結果、ステータス変更、および構成設定をデスクトッププロジェクトに取り込みます。

使用方法

kwcheck sync

例

kwcheck sync foo.c

説明

Klocwork サーバー上の connected desktop (コネクテッドデスクトップ) とプロジェクトの間で、同期が自動的に行われます。ただし、kwcheck sync では手動で同期することができます。

オプション