Add tests for memcpy overflow/underflow

3 files changed, 32 insertions, 0 deletions

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;
+}