Merge pull request #1086 from github/michaelrfairhurst/package-undefined-behavior-ptr-to-member

Michaelrfairhurst/package undefined behavior ptr to member

Author: MichaelRFairhurst

cpp/misra/src/rules/RULE-4-1-3/NonExistentMemberAccessUndefinedBehavior.ql

@@ -0,0 +1,26 @@
+/**
+ * @id cpp/misra/non-existent-member-access-undefined-behavior
+ * @name RULE-4-1-3: Pointer-to-member access of nonexistent member leads to undefined behavior
+ * @description Using a pointer-to-member expression where the dynamic type of the first operand
+ *              does not contain the member pointed to by the second operand results in undefined
+ *              behavior.
+ * @kind problem
+ * @precision very-high
+ * @problem.severity error
+ * @tags external/misra/id/rule-4-1-3
+ *       correctness
+ *       scope/system
+ *       external/misra/enforcement/undecidable
+ *       external/misra/obligation/required
+ */
+
+import cpp
+import codingstandards.cpp.misra
+import codingstandards.cpp.rules.accessofnonexistingmemberthroughpointertomember.AccessOfNonExistingMemberThroughPointerToMember
+
+class NonExistentMemberAccessUndefinedBehaviorQuery extends AccessOfNonExistingMemberThroughPointerToMemberSharedQuery
+{
+  NonExistentMemberAccessUndefinedBehaviorQuery() {
+    this = UndefinedPackage::nonExistentMemberAccessUndefinedBehaviorQuery()
+  }
+}

cpp/misra/src/rules/RULE-4-1-3/NullPointerToMemberAccessUndefinedBehavior.ql

@@ -0,0 +1,25 @@
+/**
+ * @id cpp/misra/null-pointer-to-member-access-undefined-behavior
+ * @name RULE-4-1-3: Null pointer-to-member access leads to undefined behavior
+ * @description Using a null pointer-to-member value as the second operand in a pointer-to-member
+ *              expression results in undefined behavior.
+ * @kind path-problem
+ * @precision high
+ * @problem.severity error
+ * @tags external/misra/id/rule-4-1-3
+ *       correctness
+ *       scope/system
+ *       external/misra/enforcement/undecidable
+ *       external/misra/obligation/required
+ */
+
+import cpp
+import codingstandards.cpp.misra
+import codingstandards.cpp.rules.accessofundefinedmemberthroughnullpointer.AccessOfUndefinedMemberThroughNullPointer
+
+class NullPointerToMemberAccessUndefinedBehaviorQuery extends AccessOfUndefinedMemberThroughNullPointerSharedQuery
+{
+  NullPointerToMemberAccessUndefinedBehaviorQuery() {
+    this = UndefinedPackage::nullPointerToMemberAccessUndefinedBehaviorQuery()
+  }
+}

cpp/misra/src/rules/RULE-4-1-3/UninitializedStaticPointerToMemberUndefinedBehavior.ql

@@ -0,0 +1,25 @@
+/**
+ * @id cpp/misra/uninitialized-static-pointer-to-member-undefined-behavior
+ * @name RULE-4-1-3: Uninitialized static pointer-to-member access leads to undefined behavior
+ * @description Using an uninitialized static pointer-to-member in a pointer-to-member expression
+ *              results in undefined behavior.
+ * @kind problem
+ * @precision very-high
+ * @problem.severity error
+ * @tags external/misra/id/rule-4-1-3
+ *       correctness
+ *       scope/system
+ *       external/misra/enforcement/undecidable
+ *       external/misra/obligation/required
+ */
+
+import cpp
+import codingstandards.cpp.misra
+import codingstandards.cpp.rules.accessofundefinedmemberthroughuninitializedstaticpointer.AccessOfUndefinedMemberThroughUninitializedStaticPointer
+
+class UninitializedStaticPointerToMemberUndefinedBehaviorQuery extends AccessOfUndefinedMemberThroughUninitializedStaticPointerSharedQuery
+{
+  UninitializedStaticPointerToMemberUndefinedBehaviorQuery() {
+    this = UndefinedPackage::uninitializedStaticPointerToMemberUndefinedBehaviorQuery()
+  }
+}

cpp/misra/test/rules/RULE-4-1-3/NonExistentMemberAccessUndefinedBehavior.testref

@@ -0,0 +1 @@
+cpp/common/test/rules/accessofnonexistingmemberthroughpointertomember/AccessOfNonExistingMemberThroughPointerToMember.ql

cpp/misra/test/rules/RULE-4-1-3/NullPointerToMemberAccessUndefinedBehavior.testref

@@ -0,0 +1 @@
+cpp/common/test/rules/accessofundefinedmemberthroughnullpointer/AccessOfUndefinedMemberThroughNullPointer.ql

cpp/misra/test/rules/RULE-4-1-3/UninitializedStaticPointerToMemberUndefinedBehavior.testref

@@ -0,0 +1 @@
+cpp/common/test/rules/accessofundefinedmemberthroughuninitializedstaticpointer/AccessOfUndefinedMemberThroughUninitializedStaticPointer.ql