Add rule package files

Author: jeongsoolee09

cpp/common/src/codingstandards/cpp/exclusions/cpp/Memory5.qll

@@ -0,0 +1,26 @@
+//** THIS FILE IS AUTOGENERATED, DO NOT MODIFY DIRECTLY.  **/
+import cpp
+import RuleMetadata
+import codingstandards.cpp.exclusions.RuleMetadata
+
+newtype Memory5Query = TDynamicMemoryManagedManuallyQuery()
+
+predicate isMemory5QueryMetadata(Query query, string queryId, string ruleId, string category) {
+  query =
+    // `Query` instance for the `dynamicMemoryManagedManually` query
+    Memory5Package::dynamicMemoryManagedManuallyQuery() and
+  queryId =
+    // `@id` for the `dynamicMemoryManagedManually` query
+    "cpp/misra/dynamic-memory-managed-manually" and
+  ruleId = "RULE-21-6-2" and
+  category = "required"
+}
+
+module Memory5Package {
+  Query dynamicMemoryManagedManuallyQuery() {
+    //autogenerate `Query` type
+    result =
+      // `Query` type for `dynamicMemoryManagedManually` query
+      TQueryCPP(TMemory5PackageQuery(TDynamicMemoryManagedManuallyQuery()))
+  }
+}

cpp/common/src/codingstandards/cpp/exclusions/cpp/Memory6.qll

@@ -0,0 +1,26 @@
+//** THIS FILE IS AUTOGENERATED, DO NOT MODIFY DIRECTLY.  **/
+import cpp
+import RuleMetadata
+import codingstandards.cpp.exclusions.RuleMetadata
+
+newtype Memory6Query = TAdvancedMemoryManagementUsedQuery()
+
+predicate isMemory6QueryMetadata(Query query, string queryId, string ruleId, string category) {
+  query =
+    // `Query` instance for the `advancedMemoryManagementUsed` query
+    Memory6Package::advancedMemoryManagementUsedQuery() and
+  queryId =
+    // `@id` for the `advancedMemoryManagementUsed` query
+    "cpp/misra/advanced-memory-management-used" and
+  ruleId = "RULE-21-6-3" and
+  category = "required"
+}
+
+module Memory6Package {
+  Query advancedMemoryManagementUsedQuery() {
+    //autogenerate `Query` type
+    result =
+      // `Query` type for `advancedMemoryManagementUsed` query
+      TQueryCPP(TMemory6PackageQuery(TAdvancedMemoryManagementUsedQuery()))
+  }
+}

cpp/common/src/codingstandards/cpp/exclusions/cpp/RuleMetadata.qll

@@ -45,6 +45,8 @@ import Macros
 import Memory2
 import Memory3
 import Memory4
+import Memory5
+import Memory6
 import MoveForward
 import Naming
 import Naming2
@@ -117,6 +119,8 @@ newtype TCPPQuery =
   TMemory2PackageQuery(Memory2Query q) or
   TMemory3PackageQuery(Memory3Query q) or
   TMemory4PackageQuery(Memory4Query q) or
+  TMemory5PackageQuery(Memory5Query q) or
+  TMemory6PackageQuery(Memory6Query q) or
   TMoveForwardPackageQuery(MoveForwardQuery q) or
   TNamingPackageQuery(NamingQuery q) or
   TNaming2PackageQuery(Naming2Query q) or
@@ -189,6 +193,8 @@ predicate isQueryMetadata(Query query, string queryId, string ruleId, string cat
   isMemory2QueryMetadata(query, queryId, ruleId, category) or
   isMemory3QueryMetadata(query, queryId, ruleId, category) or
   isMemory4QueryMetadata(query, queryId, ruleId, category) or
+  isMemory5QueryMetadata(query, queryId, ruleId, category) or
+  isMemory6QueryMetadata(query, queryId, ruleId, category) or
   isMoveForwardQueryMetadata(query, queryId, ruleId, category) or
   isNamingQueryMetadata(query, queryId, ruleId, category) or
   isNaming2QueryMetadata(query, queryId, ruleId, category) or

cpp/misra/src/rules/RULE-21-6-2/DynamicMemoryManagedManually.ql

@@ -0,0 +1,20 @@
+/**
+ * @id cpp/misra/dynamic-memory-managed-manually
+ * @name RULE-21-6-2: Dynamic memory shall be managed automatically
+ * @description Dynamically allocated memory must not be managed manually.
+ * @kind problem
+ * @precision very-high
+ * @problem.severity error
+ * @tags external/misra/id/rule-21-6-2
+ *       scope/single-translation-unit
+ *       external/misra/enforcement/decidable
+ *       external/misra/obligation/required
+ */
+
+import cpp
+import codingstandards.cpp.misra
+
+from
+where
+  not isExcluded(x, Memory5Package::dynamicMemoryManagedManuallyQuery()) and
+select

cpp/misra/src/rules/RULE-21-6-3/AdvancedMemoryManagementUsed.ql

@@ -0,0 +1,22 @@
+/**
+ * @id cpp/misra/advanced-memory-management-used
+ * @name RULE-21-6-3: Advanced memory management shall not be used
+ * @description Using advanced memory management that either alters allocation and deallocation or
+ *              constructs object construction on uninitalized memory may result in undefined
+ *              behavior.
+ * @kind problem
+ * @precision very-high
+ * @problem.severity error
+ * @tags external/misra/id/rule-21-6-3
+ *       scope/single-translation-unit
+ *       external/misra/enforcement/decidable
+ *       external/misra/obligation/required
+ */
+
+import cpp
+import codingstandards.cpp.misra
+
+from
+where
+  not isExcluded(x, Memory6Package::advancedMemoryManagementUsedQuery()) and
+select

cpp/misra/test/rules/RULE-21-6-2/DynamicMemoryManagedManually.expected

@@ -0,0 +1 @@
+No expected results have yet been specified

cpp/misra/test/rules/RULE-21-6-2/DynamicMemoryManagedManually.qlref

@@ -0,0 +1 @@
+rules/RULE-21-6-2/DynamicMemoryManagedManually.ql

cpp/misra/test/rules/RULE-21-6-3/AdvancedMemoryManagementUsed.expected

@@ -0,0 +1 @@
+No expected results have yet been specified

cpp/misra/test/rules/RULE-21-6-3/AdvancedMemoryManagementUsed.qlref

@@ -0,0 +1 @@
+rules/RULE-21-6-3/AdvancedMemoryManagementUsed.ql