テストケースの作成

開始するには、チェッカーのテストケースを、チェッカーを検索する状況を含めた最も単純なコードにする必要があります。チェッカーの開発が進むとともに、テストケースを拡張してより複雑にすることができます。

自動的に生成された testcase.cc ファイルを編集し、テンプレートコードを次のサンプルコードに置き換えます。

int main(){

  short x;
  int y = 4;
  x = y;
  
  short* xp = 3;
  int yy = 4;
  *xp = yy;

  short xx;
  int ya[7];
  xx = &ya;

  return 0;
}