diff options
Diffstat (limited to 'usr/src/tools/smatch/src/validation/sm_overflow4.c')
| -rw-r--r-- | usr/src/tools/smatch/src/validation/sm_overflow4.c | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/usr/src/tools/smatch/src/validation/sm_overflow4.c b/usr/src/tools/smatch/src/validation/sm_overflow4.c new file mode 100644 index 0000000000..2d8c9e58e5 --- /dev/null +++ b/usr/src/tools/smatch/src/validation/sm_overflow4.c @@ -0,0 +1,20 @@ +#include "check_debug.h" + +void strndup(char *to, int size); +void strcpy(char *dest, char *src); + +void func (char *a, char *b) +{ + char c[5]; + + a = strndup(b, 5); + strcpy(c, a); +} +/* + * check-name: smatch strndup overflow + * check-command: smatch -I.. sm_overflow4.c + * + * check-output-start +sm_overflow4.c:11 func() error: strcpy() 'a' too large for 'c' (6 vs 5) + * check-output-end + */ |