Add regtests to distinguish between ptr value and deref bounds

Author: karoliineh

tests/regression/74-invalid_deref/36-one-past-pointer.c

@@ -0,0 +1,12 @@
+// PARAM: --set ana.activated[+] memOutOfBounds --enable ana.int.interval
+#include <stdlib.h>
+#include <stdio.h>
+
+int main(void) {
+  char *buf = malloc(4);
+  char *end;
+  end = buf + 4; //NOWARN
+  printf("%p", (void *) end); //NOWARN
+  free(buf);
+  return 0;
+}

tests/regression/74-invalid_deref/37-one-past-deref-offset.c

@@ -0,0 +1,16 @@
+// PARAM: --set ana.activated[+] memOutOfBounds --enable ana.int.interval
+#include <stdlib.h>
+
+struct S {
+  unsigned char a;
+  unsigned char b:2;
+  unsigned char c:2;
+  unsigned char d;
+} __attribute__((packed));
+
+int main(void) {
+  struct S *p = malloc(2);
+  p->d = 1; //WARN
+  free(p);
+  return 0;
+}