Checker Studio を使用して目的のノードを検索する

  1. デスクトップで Checker Studio アイコンをダブルクリックするか、コマンドラインで以下を実行します。
    kwstudio
    
  2. 抜粋を Checker Studio の [ソースコード] セクションに貼り付けます。

    (オプション): [デフォルト] ドロップダウンから C++ 規格を選択します。Checker Studio は、C++03 (デフォルト)、C++98、および C++11 またはそれ以降をサポートしています。

    KAST 式の構成要素を取得するには、KAST ノード名、コード例、および階層情報を表示します。

  3. [ソースコード] ペインで x = 0; をクリックします。

    抽象構文ツリーで ExprStmt がハイライトされます。ExprStmt は、ツリーに 1 つの子 BinaryExpr を持っています。

  4. "=" 記号をクリックします。

    ツリーで BinaryExpr ノードがハイライトされ、その属性が [属性] ペインに表示されます。

    Image:test_case_cust_func.png

Checker Studio の使用の詳細については、チュートリアル 1 - C/C++ KAST チェッカーの作成を参照してください。