First round tests

Author: MichaelRFairhurst

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

@@ -0,0 +1,44 @@
+//** THIS FILE IS AUTOGENERATED, DO NOT MODIFY DIRECTLY.  **/
+import cpp
+import RuleMetadata
+import codingstandards.cpp.exclusions.RuleMetadata
+
+newtype Classes3Query =
+  TImproperlyProvidedSpecialMemberFunctionsQuery() or
+  TImproperlyProvidedSpecialMemberFunctionsAuditQuery()
+
+predicate isClasses3QueryMetadata(Query query, string queryId, string ruleId, string category) {
+  query =
+    // `Query` instance for the `improperlyProvidedSpecialMemberFunctions` query
+    Classes3Package::improperlyProvidedSpecialMemberFunctionsQuery() and
+  queryId =
+    // `@id` for the `improperlyProvidedSpecialMemberFunctions` query
+    "cpp/misra/improperly-provided-special-member-functions" and
+  ruleId = "RULE-15-0-1" and
+  category = "required"
+  or
+  query =
+    // `Query` instance for the `improperlyProvidedSpecialMemberFunctionsAudit` query
+    Classes3Package::improperlyProvidedSpecialMemberFunctionsAuditQuery() and
+  queryId =
+    // `@id` for the `improperlyProvidedSpecialMemberFunctionsAudit` query
+    "cpp/misra/improperly-provided-special-member-functions-audit" and
+  ruleId = "RULE-15-0-1" and
+  category = "required"
+}
+
+module Classes3Package {
+  Query improperlyProvidedSpecialMemberFunctionsQuery() {
+    //autogenerate `Query` type
+    result =
+      // `Query` type for `improperlyProvidedSpecialMemberFunctions` query
+      TQueryCPP(TClasses3PackageQuery(TImproperlyProvidedSpecialMemberFunctionsQuery()))
+  }
+
+  Query improperlyProvidedSpecialMemberFunctionsAuditQuery() {
+    //autogenerate `Query` type
+    result =
+      // `Query` type for `improperlyProvidedSpecialMemberFunctionsAudit` query
+      TQueryCPP(TClasses3PackageQuery(TImproperlyProvidedSpecialMemberFunctionsAuditQuery()))
+  }
+}

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

@@ -18,6 +18,7 @@ import BannedSyntax
 import BannedTypes
 import Classes
 import Classes2
+import Classes3
 import Classes4
 import Comments
 import Concurrency
@@ -82,6 +83,7 @@ import OrderOfEvaluation
 import OutOfBounds
 import Pointers
 import Preconditions1
+import Preconditions2
 import Preconditions3
 import Preconditions4
 import Preconditions5
@@ -126,6 +128,7 @@ newtype TCPPQuery =
   TBannedTypesPackageQuery(BannedTypesQuery q) or
   TClassesPackageQuery(ClassesQuery q) or
   TClasses2PackageQuery(Classes2Query q) or
+  TClasses3PackageQuery(Classes3Query q) or
   TClasses4PackageQuery(Classes4Query q) or
   TCommentsPackageQuery(CommentsQuery q) or
   TConcurrencyPackageQuery(ConcurrencyQuery q) or
@@ -190,6 +193,7 @@ newtype TCPPQuery =
   TOutOfBoundsPackageQuery(OutOfBoundsQuery q) or
   TPointersPackageQuery(PointersQuery q) or
   TPreconditions1PackageQuery(Preconditions1Query q) or
+  TPreconditions2PackageQuery(Preconditions2Query q) or
   TPreconditions3PackageQuery(Preconditions3Query q) or
   TPreconditions4PackageQuery(Preconditions4Query q) or
   TPreconditions5PackageQuery(Preconditions5Query q) or
@@ -234,6 +238,7 @@ predicate isQueryMetadata(Query query, string queryId, string ruleId, string cat
   isBannedTypesQueryMetadata(query, queryId, ruleId, category) or
   isClassesQueryMetadata(query, queryId, ruleId, category) or
   isClasses2QueryMetadata(query, queryId, ruleId, category) or
+  isClasses3QueryMetadata(query, queryId, ruleId, category) or
   isClasses4QueryMetadata(query, queryId, ruleId, category) or
   isCommentsQueryMetadata(query, queryId, ruleId, category) or
   isConcurrencyQueryMetadata(query, queryId, ruleId, category) or
@@ -298,6 +303,7 @@ predicate isQueryMetadata(Query query, string queryId, string ruleId, string cat
   isOutOfBoundsQueryMetadata(query, queryId, ruleId, category) or
   isPointersQueryMetadata(query, queryId, ruleId, category) or
   isPreconditions1QueryMetadata(query, queryId, ruleId, category) or
+  isPreconditions2QueryMetadata(query, queryId, ruleId, category) or
   isPreconditions3QueryMetadata(query, queryId, ruleId, category) or
   isPreconditions4QueryMetadata(query, queryId, ruleId, category) or
   isPreconditions5QueryMetadata(query, queryId, ruleId, category) or

cpp/misra/src/rules/RULE-15-0-1/ImproperlyProvidedSpecialMemberFunctions.ql

@@ -0,0 +1,23 @@
+/**
+ * @id cpp/misra/improperly-provided-special-member-functions
+ * @name RULE-15-0-1: Special member functions shall be provided appropriately
+ * @description Incorrect provision of special member functions can lead to unexpected or undefined
+ *              behavior when objects of the class are copied, moved, or destroyed.
+ * @kind problem
+ * @precision medium
+ * @problem.severity warning
+ * @tags external/misra/id/rule-15-0-1
+ *       scope/single-translation-unit
+ *       correctness
+ *       maintainability
+ *       external/misra/enforcement/decidable
+ *       external/misra/obligation/required
+ */
+
+import cpp
+import codingstandards.cpp.misra
+
+from
+where
+  not isExcluded(x, Classes3Package::improperlyProvidedSpecialMemberFunctionsQuery()) and
+select

cpp/misra/src/rules/RULE-15-0-1/ImproperlyProvidedSpecialMemberFunctionsAudit.ql

@@ -0,0 +1,24 @@
+/**
+ * @id cpp/misra/improperly-provided-special-member-functions-audit
+ * @name RULE-15-0-1: Special member functions shall be provided appropriately, Audit
+ * @description Audit: incorrect provision of special member functions can lead to unexpected or
+ *              undefined behavior when objects of the class are copied, moved, or destroyed.
+ * @kind problem
+ * @precision low
+ * @problem.severity warning
+ * @tags external/misra/id/rule-15-0-1
+ *       scope/single-translation-unit
+ *       correctness
+ *       audit
+ *       maintainability
+ *       external/misra/enforcement/decidable
+ *       external/misra/obligation/required
+ */
+
+import cpp
+import codingstandards.cpp.misra
+
+from
+where
+  not isExcluded(x, Classes3Package::improperlyProvidedSpecialMemberFunctionsAuditQuery()) and
+select

cpp/misra/test/rules/RULE-15-0-1/ImproperlyProvidedSpecialMemberFunctions.expected

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

cpp/misra/test/rules/RULE-15-0-1/ImproperlyProvidedSpecialMemberFunctions.qlref

@@ -0,0 +1 @@
+rules/RULE-15-0-1/ImproperlyProvidedSpecialMemberFunctions.ql

cpp/misra/test/rules/RULE-15-0-1/ImproperlyProvidedSpecialMemberFunctionsAudit.expected

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

cpp/misra/test/rules/RULE-15-0-1/ImproperlyProvidedSpecialMemberFunctionsAudit.qlref

@@ -0,0 +1 @@
+rules/RULE-15-0-1/ImproperlyProvidedSpecialMemberFunctionsAudit.ql