Add objectcopiedtoanoverlappingobject for C and update expected results

Author: jeongsoolee09

c/common/test/rules/objectcopiedtoanoverlappingobject/ObjectCopiedToAnOverlappingObject.expected

@@ -1 +1,5 @@
-No expected results have yet been specified
+| test.c:8:3:8:8 | call to memcpy | The object to copy $@ overlaps the object to copy $@. | test.c:8:17:8:21 | & ... | from | test.c:8:10:8:14 | & ... | to |
+| test.c:10:3:10:8 | call to memcpy | The object to copy $@ overlaps the object to copy $@. | test.c:10:17:10:21 | & ... | from | test.c:10:10:10:14 | & ... | to |
+| test.c:11:3:11:8 | call to memcpy | The object to copy $@ overlaps the object to copy $@. | test.c:11:17:11:17 | o | from | test.c:11:10:11:14 | ... + ... | to |
+| test.c:13:3:13:8 | call to memcpy | The object to copy $@ overlaps the object to copy $@. | test.c:13:17:13:21 | ... + ... | from | test.c:13:10:13:14 | ... + ... | to |
+| test.c:57:3:57:8 | call to memcpy | The object to copy $@ overlaps the object to copy $@. | test.c:57:21:57:26 | & ... | from | test.c:57:10:57:18 | & ... | to |

c/common/test/rules/objectcopiedtoanoverlappingobject/test.c

@@ -0,0 +1,60 @@
+#include <string.h>
+
+int o[10];
+void g(void) {
+
+  o[2] = o[0]; // COMPLIANT
+
+  memcpy(&o[1], &o[0], 2); // NON_COMPLIANT
+  memcpy(&o[2], &o[0], 2); // COMPLIANT
+  memcpy(&o[2], &o[1], 2); // NON_COMPLIANT
+  memcpy(o + 1, o, 2);     // NON_COMPLIANT
+  memcpy(o + 2, o, 2);     // COMPLIANT
+  memcpy(o + 2, o + 1, 2); // NON_COMPLIANT
+
+  // Exception 1
+  int *p = &o[0];
+  int *q = &o[0];
+
+  *p = *q;                 // COMPLIANT
+  memcpy(&o[0], &o[0], 2); // COMPLIANT
+  memcpy(o, o, 2);         // COMPLIANT
+
+  // Exception 2
+  memmove(&o[1], &o[0], 2u * sizeof(o[0])); // COMPLIANT
+}
+
+struct s1 {
+  int m1[10];
+};
+struct s2 {
+  int m1;
+  struct s1 m2;
+};
+union u {
+  struct s1 m1;
+  struct s2 m2;
+} u1;
+
+typedef struct {
+  char buf[8];
+} Union_t;
+union {
+  unsigned char uc[24];
+  struct {
+    Union_t prefix;
+    Union_t suffix;
+  } fnv;
+  struct {
+    unsigned char padding[16];
+    Union_t suffix;
+  } diff;
+} u2;
+
+void test_unions() {
+  u1.m2.m2 = u1.m1; // NON_COMPLIANT
+
+  memcpy(&u1.m2.m2, &u1.m1, sizeof(u1.m1)); // NON_COMPLIANT
+  memcpy(&u2.diff.suffix, &u2.fnv.suffix, sizeof(u2.fnv.suffix)); // COMPLIANT
+}
+

cpp/common/test/rules/objectcopiedtoanoverlappingobject/ObjectCopiedToAnOverlappingObject.expected

@@ -1 +1,5 @@
-No expected results have yet been specified
+| test.cpp:8:3:8:8 | call to memcpy | The object to copy $@ overlaps the object to copy $@. | test.cpp:8:17:8:21 | & ... | from | test.cpp:8:10:8:14 | & ... | to |
+| test.cpp:10:3:10:8 | call to memcpy | The object to copy $@ overlaps the object to copy $@. | test.cpp:10:17:10:21 | & ... | from | test.cpp:10:10:10:14 | & ... | to |
+| test.cpp:11:3:11:8 | call to memcpy | The object to copy $@ overlaps the object to copy $@. | test.cpp:11:17:11:17 | o | from | test.cpp:11:10:11:14 | ... + ... | to |
+| test.cpp:13:3:13:8 | call to memcpy | The object to copy $@ overlaps the object to copy $@. | test.cpp:13:17:13:21 | ... + ... | from | test.cpp:13:10:13:14 | ... + ... | to |
+| test.cpp:57:3:57:8 | call to memcpy | The object to copy $@ overlaps the object to copy $@. | test.cpp:57:21:57:26 | & ... | from | test.cpp:57:10:57:18 | & ... | to |