From e892e1188129de42ea7068dbaee85e8bc62f7170 Mon Sep 17 00:00:00 2001
From: jvoisin
Date: Sat, 8 Jul 2023 21:49:15 +0200
Subject: Add tests for memcpy overflow/underflow

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

(limited to 'tests')

diff --git a/tests/Makefile b/tests/Makefile
index 2ac44ab..f8cd843 100644
--- a/tests/Makefile
+++ b/tests/Makefile
@@ -13,6 +13,8 @@ TARGETS= \
 	test_memcpy_dynamic_write    \
 	test_memcpy_static_read      \
 	test_memcpy_dynamic_read     \
+	test_memcpy_overwrite_over   \
+	test_memcpy_overwrite_under  \
         test_mempcpy_static_write    \
 	test_mempcpy_dynamic_write   \
 	test_mempcpy_static_read     \
diff --git a/tests/test_memcpy_overwrite_over.c b/tests/test_memcpy_overwrite_over.c
new file mode 100644
index 0000000..cb1ddc8
--- /dev/null
+++ b/tests/test_memcpy_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
+  memcpy(buffer+1, buffer, 5);
+  CHK_FAIL_END
+
+  puts(buffer);
+  return ret;
+}
diff --git a/tests/test_memcpy_overwrite_under.c b/tests/test_memcpy_overwrite_under.c
new file mode 100644
index 0000000..0811fea
--- /dev/null
+++ b/tests/test_memcpy_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
+  memcpy(buffer-1, buffer, 5);
+  CHK_FAIL_END
+
+  puts(buffer);
+  return ret;
+}
-- 
cgit v1.3