最も単純なテストケースを作成する

チェッカーの最初のテストケースはできるだけ単純なものにしてください。チェッカーの開発が進むとともに、より複雑なケースを追加してテストすることができます。

このチュートリアルで作成するチェッカーは、if ステートメントでの変数代入を検出します。等価演算子 a == b を代入演算子 a = b (2 つの等号ではなく単一の等号) として間違って入力しがちです。それでも結果は有効な C/C++ コードになります。次にこの Klocwork エラーを生成する最も単純なコードフラグメントを示します。

void f(int a, int b) {  
 if (a = b) { //Error: assignment of b to a in if statement  
 /* do stuff */
 }
}

testcase.cc ファイルのテンプレートコードを、このコード (MY.C.KAST.CHECKER/testcase.cc) に置き換えます。