1 int strlen(char *str);
   2 int strcpy(char *str);
   3 
   4 void func (char *input)
   5 {
   6         int input_len;
   7         char buf[4];
   8 
   9         input_len = strlen(input);
  10         if (input_len <= 5) {
  11                 strcpy(buf, input);
  12         }
  13         if (input_len <= 3) {
  14                 strcpy(buf, input);
  15         }
  16 }
  17 /*
  18  * check-name: Smatch strlen test
  19  * check-command: smatch sm_strlen.c
  20  *
  21  * check-output-start
  22 sm_strlen.c:11 func() error: strcpy() 'input' too large for 'buf' (6 vs 4)
  23  * check-output-end
  24  */