From 1ace027335c9ca0ae400958aded936d04505ec86 Mon Sep 17 00:00:00 2001
From: jvoisin
Date: Tue, 30 May 2023 20:46:14 +0200
Subject: Add a check for overlapping copies in strcpy

---
 tests/Makefile                      |  2 ++
 tests/test_strcpy_overwrite_over.c  | 15 +++++++++++++++
 tests/test_strcpy_overwrite_under.c | 15 +++++++++++++++
 3 files changed, 32 insertions(+)
 create mode 100644 tests/test_strcpy_overwrite_over.c
 create mode 100644 tests/test_strcpy_overwrite_under.c

(limited to 'tests')

diff --git a/tests/Makefile b/tests/Makefile
index 9cca6f5..18f55fe 100644
--- a/tests/Makefile
+++ b/tests/Makefile
@@ -13,6 +13,8 @@ TARGETS=test_memcpy_static_write  \
 	test_memset_dynamic_write  \
 	test_strcpy_static_write   \
 	test_strcat_static_write   \
+	test_strcpy_overwrite_over \
+	test_strcpy_overwrite_under\
 
 .SILENT:
 
diff --git a/tests/test_strcpy_overwrite_over.c b/tests/test_strcpy_overwrite_over.c
new file mode 100644
index 0000000..924b346
--- /dev/null
+++ b/tests/test_strcpy_overwrite_over.c
@@ -0,0 +1,15 @@
+#include "common.h"
+
+#include <string.h>
+
+int main(int argc, char** argv) {
+  char buffer[9] = {'A', 'A', 'A', 'A', 'B', 'B', 'B', 'B', '\0'};
+  puts(buffer);
+
+  CHK_FAIL_START
+  strcpy(buffer+1, buffer);
+  CHK_FAIL_END
+
+  puts(buffer);
+  return ret;
+}
diff --git a/tests/test_strcpy_overwrite_under.c b/tests/test_strcpy_overwrite_under.c
new file mode 100644
index 0000000..2442470
--- /dev/null
+++ b/tests/test_strcpy_overwrite_under.c
@@ -0,0 +1,15 @@
+#include "common.h"
+
+#include <string.h>
+
+int main(int argc, char** argv) {
+  char buffer[9] = {'A', 'A', 'A', 'A', 'B', 'B', 'B', 'B', '\0'};
+  puts(buffer);
+
+  CHK_FAIL_START
+  strcpy(buffer-1, buffer);
+  CHK_FAIL_END
+
+  puts(buffer);
+  return ret;
+}
-- 
cgit v1.3