チュートリアル 2 - 組み込み関数を使用した C/C++ KAST チェッカーの作成

このチュートリアルでは、代入文のコードを検索し、代入によるデータ損失のインスタンスを検索するカスタム C/C++ KAST チェッカーを作成します。これを行うには、KAST 組み込み関数を使用してチェッカーの機能方法を指定する KAST 式を定義します。

このチュートリアルは、Checker Studio と、チュートリアル 1 - C/C++ KAST チェッカーの作成によるチェッカー作成の基本プロセスに精通していることを前提としています。