Prepare rule description files

Author: jeongsoolee09

rule_packages/c/Contracts7.json

@@ -82,7 +82,8 @@
           "name": "An object shall not be assigned to an overlapping object",
           "precision": "high",
           "severity": "error",
-          "short_name": "ObjectAssignedToAnOverlappingObject",
+          "short_name": "ObjectAssignedToAnOverlappingObjectMisraC",
+          "shared_implementation_short_name": "ObjectAssignedToAnOverlappingObject",
           "tags": [
             "correctness",
             "external/misra/c/2012/third-edition-first-revision"
@@ -94,7 +95,8 @@
           "name": "An object shall not be copied to an overlapping object",
           "precision": "high",
           "severity": "error",
-          "short_name": "ObjectCopiedToAnOverlappingObject",
+          "short_name": "ObjectCopiedToAnOverlappingObjectMisraC",
+          "shared_implementation_short_name": "ObjectCopiedToAnOverlappingObject",
           "tags": [
             "correctness",
             "external/misra/c/2012/third-edition-first-revision"
@@ -104,4 +106,4 @@
       "title": "An object shall not be assigned or copied to an overlapping object"
     }
   }
-}
+}

rule_packages/cpp/Memory4.json

@@ -0,0 +1,39 @@
+{
+  "MISRA-C++-2023": {
+    "RULE-8-18-1": {
+      "properties": {
+        "enforcement": "undecidable",
+        "obligation": "mandatory"
+      },
+      "queries": [
+        {
+            "description": "Copying a member of a union to another causes undefined behavior.",
+            "kind": "problem",
+            "name": "A member of a union must not be copied to its another member",
+            "precision": "high",
+            "severity": "error",
+            "short_name": "ObjectAssignedToAnOverlappingObjectMisraCpp",
+            "shared_implementation_short_name": "ObjectAssignedToAnOverlappingObject",
+            "tags": [
+              "scope/system",
+              "correctness"
+            ]
+        },
+        {
+          "description": "Copying a slice of an array to an overlapping region of the same array causes undefined behavior.",
+          "kind": "problem",
+          "name": "An slice of an array must not be copied to an overlapping region of itself",
+          "precision": "high",
+          "severity": "error",
+          "short_name": "ObjectCopiedToAnOverlappingObjectMisraCpp",
+          "shared_implementation_short_name": "ObjectCopiedToAnOverlappingObject",
+          "tags": [
+            "scope/system",
+            "correctness"
+          ]
+        }
+      ],
+      "title": "Copying a member of a union to another, and copying a slice of an array to an overlapping one causes undefined behavior."
+    }
+  }
+}

rule_packages/cpp/Representation.json

@@ -49,7 +49,8 @@
           "name": "An object shall not be assigned to an overlapping object",
           "precision": "high",
           "severity": "error",
-          "short_name": "ObjectAssignedToAnOverlappingObject",
+          "short_name": "ObjectAssignedToAnOverlappingObjectAutosarCpp",
+          "shared_implementation_short_name": "ObjectAssignedToAnOverlappingObject",
           "tags": [
             "correctness"
           ]
@@ -176,4 +177,4 @@
       "title": "Do not access the bits of an object representation that are not part of the object's value representation"
     }
   }
-}
+}