K&Rスタイルのプロトタイプ宣言でないことを確認します。引数の数を確認します。*であるかどうかを確認します。warningを出力します。以下のコードに対してChekcerを実行します。0;}warningが出力されます。独自定義のgetsの場合libcのものとインターフェースが同じgetsを定義します。0;}warningが出力されます。独自定義のK&Rなプロトタイプ宣言を持つgetsK&Rなプロトタイプ宣言では引数情報を記載しません。NULL;}warningが出力されません。まとめ今回はgetsに絞って処理を見ていきました。扱いも参考になると思います。StmtVisitorの使い方も参考になります。