Kwcreatechecker
kwcreatechecker でカスタムチェッカーを作成します。kwcreatechecker は、コマンドラインツールデスクトップ解析プラグインとともにインストールされます。方法については、カスタム C/C++ チェッカーの作成またはカスタム Java チェッカーの作成またはカスタム C# チェッカーの作成を参照してください。
使用方法
kwcreatechecker --language <language> --type <checker_type> --code <checker_name>
説明
kwcreatechecker でチェッカーのスタブファイルが生成されます。スタブファイルのタイプは、言語と指定されたチェッカーのタイプで決まります。KAST チェッカーと Path チェッカー (C/C++ とJava) の場合、生成されるスタブファイルは次のとおりです。
- チェッカー設定ファイル (checkers.xml とhelp.xml)
- ビルドファイル (build.xml (Java の場合)、Makefile (C/C++ の場合)、Nmakefile (C# の場合))
さらに、
- C/C++ とC# とJava の KAST チェッカーの test-case ファイルが生成されます。
- より詳細なデバッグ情報を提供するため、Java Path チェッカーのロガーファイルが生成されます。
- C/C++ の PATH チェッカーのチェッカートリガーファイルが生成されます。
Windows 上で kwcreatechecker を実行するには、Visual Studio がインストールされている必要があります。Windows 上では、MS 製以外の Makefile はサポートされません。
オプション
| 名前 | 説明 |
|---|---|
| --code <checker_name> | チェッカー名を指定します。許容される文字は、次のとおりです。
注意: エラー ID (チェッカー名) では、マルチバイト文字はサポートされていません。また、255 文字までという制限があります。 |
| --force | チェッカーフォルダーが既に存在する場合でも、そのチェッカーを強制的に生成します。 |
| --help | ヘルプ情報を表示します。 |
| --kast-library <KAST-plugin-library-name> | KAST 式のカスタム関数の実装があるライブラリの名前を指定します。 注意: --type の値が kast のときだけ当てはまります。
カスタム関数を含めるため、標準チェッカーファイル (checkers.xml、test-case ファイル、help.xml、およびビルドファイル) に加えて、独立したファイルも作成されます。C/C++ の場合、このオプションにより、PluginSource.cpp ファイル、プラットフォームディレクトリ、および Make.Plugin ファイルが作成されます。Java の場合、MyFunc.java、plugin_functions.xml、およびロガーファイルが作成されます。 |
| --language <language> | チェッカー (cxx または cs または java) の言語を指定します。 |
| --type <checker type> |
チェッカーの種類を指定し、C/C++ の場合は kast または path、C# の場合は kast、Java の場合は、sv または rlk または common または kast を作成します。 詳細については、カスタム C/C++ チェッカーの作成、カスタム C# チェッカーの作成、およびカスタム Java チェッカーの作成を参照してください。 |
| --version | kwcreatechecker バージョンを表示します。 |