validation/sm_overflow2.c

   1 #include "check_debug.h"
   2
   3 void strncpy(char *to, char *from, int size);
   4
   5 void func (char *a, char *b)
   6 {
   7         strncpy(a, b, 5);
   8         a[5] = '\0';
   9 }
  10 /*
  11  * check-name: smatch strncpy() overflow
  12  * check-command: smatch --spammy -I.. sm_overflow2.c
  13  *
  14  * check-output-start
  15 sm_overflow2.c +8 func(3) error: buffer overflow 'a' 5 <= 5
  16  * check-output-end
  17  */