チェッカースタブファイルの作成

CHECK.VAR.SIZE というチェッカー名を使用して、kwcreatechecker を実行して次のチェッカーファイルを作成します。

kwcreatechecker --language cxx --type kast --code CHECK.VAR.SIZE

スタブファイルは CHECK.VAR.SIZE ディレクトリに配置されます。