Add further memset/memcpy test

tests/regression/77-mem-oob/09-memset-memcpy-addr-offs.c

@@ -0,0 +1,20 @@
+// PARAM: --set ana.activated[+] memOutOfBounds --enable ana.int.interval --disable warn.info
+// TODO: The "--disable warn.info" part is a temporary fix and needs to be removed once the MacOS CI job is fixed
+#include <stdlib.h>
+#include <string.h>
+
+int main(int argc, char const *argv[]) {
+    int *a = malloc(10 * sizeof(int)); //Size is 40 bytes, assuming a 4-byte int
+    int *b = malloc(15 * sizeof(int)); //Size is 60 bytes, assuming a 4-byte int
+
+    memset(a, 0, 40); //NOWARN
+    memcpy(a, b, 40); //NOWARN
+
+    a += 3;
+
+    memset(a, 0, 40); //WARN
+    memcpy(a, b, 40); //WARN
+
+    memset(a, 0, 37); //NOWARN
+    memcpy(a, b, 37); //NOWARN
+}